Journals in DBLP

Sci. Comput. Program.
1997, volume: 29, number: 1-2

1. Jan Friso Groote, Martin Rem
   Foreword. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1997, v:29, n:1-2, pp:1-2 [Journal]
   
2. Glenn Bruns
   An Industrial Application of Modal Process Logic. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1997, v:29, n:1-2, pp:3-22 [Journal]
   
3. Tatjana Kapus, Zmago Brezocnik
   Verification of XTP Context Management Closing Procedure in Style of TLA. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1997, v:29, n:1-2, pp:23-52 [Journal]
   
4. Juan Bicarregui, Jeremy Dick, Brian Matthews, Eoin Woods
   Making the Most of Formal Specification Through Animation, Testing and Proof. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1997, v:29, n:1-2, pp:53-78 [Journal]
   
5. Sérgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea
   Symbolic Techniques for Formally Verifying Industrial Systems. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1997, v:29, n:1-2, pp:79-98 [Journal]
   
6. Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.
   Modeling and Verifying Active Structural Control Systems. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1997, v:29, n:1-2, pp:99-122 [Journal]
   
7. Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho
   An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1997, v:29, n:1-2, pp:123-146 [Journal]
   
8. Matthew J. Morley
   Safety-Level Communication in Railway Interlockings. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1997, v:29, n:1-2, pp:147-170 [Journal]
   
9. Hubert Garavel, Laurent Mounier
   Specification and Verification of Various Distributed Leader Election Algorithms for Unidirectional Ring Networks. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1997, v:29, n:1-2, pp:171-197 [Journal]
   
10. Jan A. Bergstra, Joris A. Hillebrand, Alban Ponse
    Grid Protocols Based on Synchronous Communication. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:29, n:1-2, pp:199-233 [Journal]
    
11. S. H. J. Bos, Michel A. Reniers
    The I²C-Bus in Discrete-Time Process Algebra. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:29, n:1-2, pp:235-258 [Journal]
    
12. Henri Korver
    Detecting Feature Interactions with CÆSAR/ALDÉBARAN. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:29, n:1-2, pp:259-278 [Journal]