SMC
- 1 April 2000
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Software Engineering and Methodology
- Vol. 9 (2) , 133-166
- https://doi.org/10.1145/350887.350891
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Reducibility in analysis of coordinationPublished by Springer Nature ,2006
- Verification of the Link layer protocol of the IEEE-1394 serial bus (FireWire): an experiment with E-LOTOSInternational Journal on Software Tools for Technology Transfer, 1998
- Better verification through symmetryFormal Methods in System Design, 1996
- Coloured Petri NetsPublished by Springer Nature ,1996
- Computer-Aided Verification of Coordinating ProcessesPublished by Walter de Gruyter GmbH ,1995
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- The Temporal Logic of Reactive and Concurrent SystemsPublished by Springer Nature ,1992
- High-level Petri NetsPublished by Springer Nature ,1991
- Modalities for model checking: branching time logic strikes backScience of Computer Programming, 1987
- Depth-First Search and Linear Graph AlgorithmsSIAM Journal on Computing, 1972