Journals in DBLP

J. UCS
2003, volume: 9, number: 11

1. Doron Drusinsky, Man-tak Shing
   Monitoring Temporal Logic Specifications Combined with Time Series Constraints. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2003, v:9, n:11, pp:1261-1276 [Journal]
   
2. Frantisek Scuglik, Miroslav Svéda
   Automatically Generated CSP Specifications. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2003, v:9, n:11, pp:1277-1295 [Journal]
   
3. Gabor Karsai, Aditya Agrawal, Feng Shi, Jonathan Sprinkle
   On the Use of Graph Transformation in the Formal Specification of Model Interpreters. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2003, v:9, n:11, pp:1296-1321 [Journal]
   
4. Cindy Kong, Perry Alexander, Catherine Menon
   Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2003, v:9, n:11, pp:1322-1349 [Journal]
   
5. Stéphane Lafrance, John Mullins
   An Information Flow Method to Detect Denial of Service Vulnerabilities. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2003, v:9, n:11, pp:1350-0 [Journal]