Author:
Valmari Antti,Clegg Matthew
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Bolognesi, T. & Brinksma, E.: Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems 14 (1987) 25–59. Also: The Formal Description Technique LOTOS, North-Holland 1989, pp. 23–73.
2. Bolognesi, T. & Smolka, S. A.: Fundamental Results for the Verification of Observational Equivalence: A Survey. Protocol Specification, Testing and Verification VII, North-Holland, 1987, pp. 165–179.
3. Clarke, E. M. & Grümberg, O.: Avoiding the State Explosion Problem in Temporal Logic Model Checking Algorithms. Proceedings of the 6th ACM Symposium on Principles of Distributed Computing, 1987, pp. 294–303.
4. Clarke, E. M., Long, D. E. & McMillan, K. L.: Compositional Model Checking. Proceedings of the Fourth IEEE Symposium of Logic in Computer Science, Asilomar, California, 1989.
5. Cleaveland, R., Parrow, J. & Steffen, B.: The Concurrency Workbench. Proceedings of the Workshop on Automatic Verification Methods for Finite State Systems, Lecture Notes in Computer Science 407, Springer-Verlag 1990, pp. 24–37.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献