Author:
Pnueli Amir,Ruah Sitvanit,Zuck Lenore
Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. Lect Notes Comput Sci;P.A. Abdulla,1999
2. K. R. Apt and D. Kozen. Limits for automatic program verification of finitestate concurrent systems. Information Processing Letters, 22(6), 1986.
3. M.C. Browne, E.M. Clarke, and O. Grumberg. Reasoning about networks with many finite state processes. In Proc. 5th ACM Symp. Princ. of Dist. Comp., pages 240–248, 1986.
4. E.M. Clarke, R. Enders, T. Filkron, and S. Jha. Exploiting symmetry in temporal logic model checking. Formal Methods in System Design, 9(1/2), 8 1996. Preliminary version appeared in 5th CAV, 1993.
5. E.M. Clarke, O. Grumberg, and S. Jha. Verifying parametrized networks using abstraction and regular languages. In 6th International Conference on Concurrency Theory (CONCUR’95), pages 395–407, Philadelphia, PA, August 1995.
Cited by
111 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献