Author:
Esparza Javier,Römer Stefan
Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. A. Arnold. Finite Transition Systems. Prentice-Hall, 1992.
2. J. C. Corbett. Evaluating Deadlock Detection Methods for Concurrent Software. In T. Ostrand, editor, Proceedings of the 1994 International Symposium on Software Testing and Analysis, 204–215, 1994.
3. Lect Notes Comput Sci;J. Esparza,1996
4. R. Langerak and E. Brinksma. A Complete Finite Prefix for Process Algebra. To appear in Proceedings of CAV’ 99, 1999.
5. K. McMillan. Symbolic Model Checking: An Approach to the State Explosion Problem. Kluwer, 1993.
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献