Journals in DBLP

J. UCS
2001, volume: 7, number: 1

1. Wolfgang Reif, Gerhard Schellhorn
   J.UCS Special Issue on Tools for System Design and Verification - Part 1. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2001, v:7, n:1, pp:1-2 [Journal]
   
2. Timo Aaltonen, Mika Katara, Risto Pitkänen
   DisCo Toolset - The New Generation. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2001, v:7, n:1, pp:3-18 [Journal]
   
3. Christine Choppy, Pascal Poizat, Jean-Claude Royer
   The Korrigan Environment. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2001, v:7, n:1, pp:19-36 [Journal]
   
4. Heinz Treseler, Olaf Stursberg, Paul W. H. Chung, Shuanghua Yang
   An Open Software Architecture for the Verification of Industrial Controllers. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2001, v:7, n:1, pp:37-53 [Journal]
   
5. Wolfram Kahl, Frank Derichsweiler
   Declarative Term Graph Attribution for Program Generation. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2001, v:7, n:1, pp:54-70 [Journal]
   
6. John N. Crossley, Iman Poernomo
   Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2001, v:7, n:1, pp:71-88 [Journal]
   
7. Jürgen Ruf
   RAVEN: Real-Time Analyzing and Verification Environment. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2001, v:7, n:1, pp:89-104 [Journal]