Volume 29, Numbers 1-2, July 1997
- Jan Friso Groote, Martin Rem:
Foreword.
1-2

- Glenn Bruns:
An Industrial Application of Modal Process Logic.
3-22

- Tatjana Kapus, Zmago Brezocnik:
Verification of XTP Context Management Closing Procedure in Style of TLA.
23-52

- Juan Bicarregui, Jeremy Dick, Brian Matthews, Eoin Woods:
Making the Most of Formal Specification Through Animation, Testing and Proof.
53-78

- Sérgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea:
Symbolic Techniques for Formally Verifying Industrial Systems.
79-98

- Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.:
Modeling and Verifying Active Structural Control Systems.
99-122

- Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho:
An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology.
123-146

- Matthew J. Morley:
Safety-Level Communication in Railway Interlockings.
147-170

- Hubert Garavel, Laurent Mounier:
Specification and Verification of Various Distributed Leader Election Algorithms for Unidirectional Ring Networks.
171-197

- Jan A. Bergstra, Joris A. Hillebrand, Alban Ponse:
Grid Protocols Based on Synchronous Communication.
199-233

- S. H. J. Bos, Michel A. Reniers:
The I²C-Bus in Discrete-Time Process Algebra.
235-258

- Henri Korver:
Detecting Feature Interactions with CÆSAR/ALDÉBARAN.
259-278

Volume 29, Number 3, September 1997
Last update Thu May 23 19:26:02 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page