Journals in DBLP

Sci. Comput. Program.
2003, volume: 46, number: 3

1. Hubert Garavel, Stefania Gnesi, Ina Schieferdecker
   Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Berlin, April 3-4, 2000 - Selected papers. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2003, v:46, n:3, pp:195-196 [Journal]
   
2. Paulo J. F. Carreira, Miguel E. F. Costa
   Automatically verifying an object-oriented specification of the Steam-Boiler system. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2003, v:46, n:3, pp:197-217 [Journal]
   
3. Florence Maraninchi, Yann Rémond
   Mode-Automata: a new domain-specific construct for the development of safe critical systems. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2003, v:46, n:3, pp:219-254 [Journal]
   
4. Radu Mateescu, Mihaela Sighireanu
   Efficient on-the-fly model-checking for regular alternation-free mu-calculus. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2003, v:46, n:3, pp:255-281 [Journal]
   
5. Antoine Requet
   A B model for ensuring soundness of a large subset of the Java Card virtual machine. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2003, v:46, n:3, pp:283-306 [Journal]