Author:
Dartois Luc,Filiot Emmanuel,Talbot Jean-Marc
Publisher
Springer International Publishing
Reference30 articles.
1. Lecture Notes in Computer Science;R Alur,2012
2. Alur, R., Madhusudan, P.: Adding nesting structure to words. J. ACM 56(3), 16:1–16:43 (2009)
3. Lecture Notes in Computer Science;O Burkart,1997
4. Cadilhac, M., Finkel, A., McKenzie, P.: On the expressiveness of Parikh automata and related models. In: Proceedings of the Third Workshop on Non-Classical Models for Automata and Applications - NCMA 2011, Milan, Italy, 18 July–19 July 2011, pp. 103–119 (2011)
5. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite state concurrent systems using temporal logic specifications. In: Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, pp. 117–126. ACM, January 1983