Author:
Benedikt Michael,Godefroid Patrice,Reps Thomas
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. A. Aho, J. Hopcroft, and J. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974.
2. R. Alur, K. Etessami, and M. Yannakakis. Analysis of Recursive State Machines. In To appear in Proceedings of CAV 2001, Paris, July 2001.
3. R. Alur and R. Grosu. Modular Refinement of Hierarchic State Machines. In Proceedings of the 27th ACM Symposium on Principles of Programming Languages, pages 390–402, January 2000.
4. Lect Notes Comput Sci;R. Alur,1999
5. R. Alur and M. Yannakakis. Model Checking of Hierarchical State Machines. In Proceedings of the Sixth ACM Symposium on the Foundations of Software Engineering (FSE’98), pages 175–188, 1998.
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献