Author:
Soleimanifard Siavash,Gurov Dilian
Publisher
Springer International Publishing
Reference26 articles.
1. Alur, R., Arenas, M., Barcelo, P., Etessami, K., Immerman, N., Libkin, L.: First-order and temporal logics for nested words. In: LICS, pp. 151–160 (2007)
2. Alur, R., Benedikt, M., Etessami, K., Godefroid, P., Reps, T., Yannakakis, M.: Analysis of recursive state machines. TOPLAS 27, 786–818 (2005)
3. Lecture Notes in Computer Science;R Alur,2010
4. Lecture Notes in Computer Science;R Alur,2004
5. Andersen, H.: Partial model checking. In: LICS, pp. 398–407 (1995)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献