Author:
Bhattacharya Ritwik,German Steven,Gopalakrishnan Ganesh
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Lecture Notes in Computer Science;R. Alur,1997
2. Bhattacharya, R.:
http://www.cs.utah.edu/formal_verification/poem-0.4.tar.gz
3. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)
4. Dill, D.L., Drexler, A.J., Hu, A.J., Han Yang, C.: Protocol verification as a hardware design aid. In: International Conference on Computer Design, pp. 522–525 (1992)
5. Lecture Notes in Computer Science;C. Flanagan,2003
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献