Journals in DBLP

Sci. Comput. Program.
2000, volume: 36, number: 1

1. Jorge Cuéllar, Stefania Gnesi, Diego Latella
   Foreword. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2000, v:36, n:1, pp:1-3 [Journal]
   
2. Gérard Berry, Amar Bouali, Xavier Fornari, Emmanuel Ledinot, Eric Nassor, Robert de Simone
   ESTEREL: a formal method applied to avionic software development. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2000, v:36, n:1, pp:5-25 [Journal]
   
3. Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier
   Verification and test generation for the SSCOP protocol. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2000, v:36, n:1, pp:27-52 [Journal]
   
4. Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia
   Verification of a safety-critical railway interlocking system with real-time constraints. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2000, v:36, n:1, pp:53-64 [Journal]
   
5. Mats Per Erik Heimdahl, Barbara J. Czerny
   On the analysis needs when verifying state-based software requirements: an experience report. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2000, v:36, n:1, pp:65-96 [Journal]
   
6. Holger Hermanns, Joost-Pieter Katoen
   Automated compositional Markov chain generation for a plain-old telephone system. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2000, v:36, n:1, pp:97-127 [Journal]