Journals in DBLP

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

1. Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn
   Special Issue on Tools for System Design and Verification. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2003, v:9, n:2, pp:86-87 [Journal]
   
2. Ernst-Rüdiger Olderog, Henning Dierks
   Moby/RT: A Tool for Specification and Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2003, v:9, n:2, pp:88-105 [Journal]
   
3. Hans-Dieter Ehrich, Maik Kollmann, Ralf Pinger
   Checking Object System Designs Incrementally. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2003, v:9, n:2, pp:106-119 [Journal]
   
4. Andreas Krebs, Jürgen Ruf
   Optimized Temporal Logic Compilation. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2003, v:9, n:2, pp:120-137 [Journal]
   
5. Robi Malik, Reinhard Mühlfeld
   A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2003, v:9, n:2, pp:138-151 [Journal]
   
6. Achim D. Brucker, Frank Rittinger, Burkhart Wolff
   HOL-Z 2.0: A Proof Environment for Z-Specifications. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2003, v:9, n:2, pp:152-172 [Journal]
   
7. Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs
   Tool Support for the Interactive Derivation of Formally Correct Functional Programs. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2003, v:9, n:2, pp:173-0 [Journal]