Author:
Aminof Benjamin,Murano Aniello,Vardi Moshe Y.
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Alur, R., Benedikt, M., Etessami, K., Godefroid, P., Reps, T.W., Yannakakis, M.: Analysis of recursive state machines. ACM Trans. Program. Lang. Syst. 27(4), 786–818 (2005)
2. Lecture Notes in Computer Science;A. Bouajjani,1997
3. Lecture Notes in Artificial Intelligence;L. Bozzelli,2005
4. Lecture Notes in Computer Science;K. Chatterjee,2006
5. Lecture Notes in Computer Science;E.M. Clarke,1982
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Module Checking for Uncertain Agents;PRIMA 2015: Principles and Practice of Multi-Agent Systems;2015
2. New results on pushdown module checking with imperfect information;Electronic Proceedings in Theoretical Computer Science;2011-06-04
3. Program Complexity in Hierarchical Module Checking;Logic for Programming, Artificial Intelligence, and Reasoning;2008