Author:
Fontaine Pascal,Gribomont E. Pascal
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Lect Notes Comput Sci;P. A. Abdulla,1999
2. K. R. Apt and D. C. Kozen. Limits for automatic verification of finite-state concurrent systems. Information Processing Letters, 22(6):307–309, May 1986.
3. Lect Notes Comput Sci;T. Arons,2001
4. K. Baukus, Y. Lakhnech, and K. Stahl. Verification of Parameterized Protocols. Journal of Universal Computer Science, 7(2):141–158, Feb. 2001.
5. P. Bernays and M. Schönfinkel. Zum Entscheidungsproblem der mathematischen Logik. Math. Annalen, 99:342–372, 1928.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献