Volume 29,
Numbers 1-2,
July 1997
- Jan Friso Groote, Martin Rem:
Foreword.
1-2 BibTeX
,
- Glenn Bruns:
An Industrial Application of Modal Process Logic.
3-22 BibTeX
- Tatjana Kapus, Zmago Brezocnik:
Verification of XTP Context Management Closing Procedure in Style of TLA.
23-52 BibTeX
- Juan Bicarregui, Jeremy Dick, Brian Matthews, Eoin Woods:
Making the Most of Formal Specification Through Animation, Testing and Proof.
53-78 BibTeX
- Sérgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea:
Symbolic Techniques for Formally Verifying Industrial Systems.
79-98 BibTeX
- Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.:
Modeling and Verifying Active Structural Control Systems.
99-122 BibTeX
- 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 BibTeX
- Matthew J. Morley:
Safety-Level Communication in Railway Interlockings.
147-170 BibTeX
- Hubert Garavel, Laurent Mounier:
Specification and Verification of Various Distributed Leader Election Algorithms for Unidirectional Ring Networks.
171-197 BibTeX
- Jan A. Bergstra, Joris A. Hillebrand, Alban Ponse:
Grid Protocols Based on Synchronous Communication.
199-233 BibTeX
- S. H. J. Bos, Michel A. Reniers:
The I²C-Bus in Discrete-Time Process Algebra.
235-258 BibTeX
- Henri Korver:
Detecting Feature Interactions with CÆSAR/ALDÉBARAN.
259-278 BibTeX
Volume 29,
Number 3,
September 1997
Copyright © Thu Sep 4 22:00:58 2008
by Michael Ley (ley@uni-trier.de)
