|
Journals in DBLP
- Jan Friso Groote, Martin Rem
Foreword. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1997, v:29, n:1-2, pp:1-2 [Journal]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
|