Author:
Espada Miguel Valero,van de Pol Jaco
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Lecture Notes in Computer Science;D. Bosnacki,2004
2. Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. Journal of the ACM, 343–354 (1992)
3. Dams, D.: Abstract Interpretation and Partition Refinement for Model Checking. PhD thesis, Eindhoven University of Technology (1996)
4. Dams, D., Gerth, R.: The bounded retransmission protocol revisited. ENTCS 9 (2000)
5. Lecture Notes in Computer Science;Y. Fang,2004
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献