Author:
Leuschel Michael,Bendisposto Jens
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)
2. Ben-Ari, M.: Principles of the Spin Model Checker. Springer, Heidelberg (2008)
3. Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 1020 states and beyond. Information and Computation 98(2), 142–170 (1992)
4. Lecture Notes in Computer Science;K. Dräger,2006
5. Lecture Notes in Computer Science;S. Edelkamp,2006
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献