Author:
García-Ferreira Iván,Laorden Carlos,Santos Igor,Bringas Pablo García
Publisher
Springer International Publishing
Reference42 articles.
1. Lecture Notes in Computer Science;R. Alur,1999
2. ARC, http://altarica.labri.fr/wp/?page_id=32 (last accessed February 20, 2014)
3. Lecture Notes in Computer Science;G. Balakrishnan,2004
4. Lecture Notes in Computer Science;G. Balakrishnan,2008
5. Ben-Ari, M., Pnueli, A., Manna, Z.: The temporal logic of branching time. Acta Informatica 20(3), 207–226 (1983)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献