Author:
Zhou Conghua,Ding Decheng
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Clarke, E.M., Grumberg, O., Peled, D.: Model checking. MIT Press, Cambridge (2000)
2. Ben-Ari, M., Manna, Z., Pnueli, A.: The temporal logic of branching time. Acta Information 20, 207–226 (1983)
3. Pnueli, A.: A temporal logic of concurrent programs. Theoretical Computer Science 13, 45–60
4. McMillan, K.L.: Symbolic model checking. Kluwer Academic Publishers, Dordrecht (1993)
5. Burch, J.R., Clarke, E.M., McMillan, K.L.: Symbolic model checking: 1020 states and beyond. Information and Computation 98, 142–170 (1992)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献