Author:
Genest Blaise,Muscholl Anca
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Theoretical Computer Science
Reference25 articles.
1. Lecture Notes in Computer Science;R. Alur,2001
2. Alur, R., Holzmann, G.H., Peled, D.A.: An analyzer for message sequence charts. Soft. Concepts Tools 17(2), 70–77 (1996)
3. Lecture Notes in Computer Science;R. Alur,1999
4. Alur, R., Yannakakis, M.: Model checking of hierarchical state machines. In: Proceedings of SIGSOFT’98, pp. 175–188 (1998) (Extended version in ACM Trans. Program. Lang. Syst. 23(3), 273–303 (2001))
5. Lecture Notes in Computer Science;R. Alur,1999
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A small-step approach to multi-trace checking against interactions;Proceedings of the 36th Annual ACM Symposium on Applied Computing;2021-03-22
2. Towards Readability Aspects of Probabilistic Mode Automata;Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering;2019
3. Acceptance Test Optimization;System Analysis and Modeling: Models and Reusability;2014
4. The Complexity of Compressed Membership Problems for Finite Automata;Theory of Computing Systems;2013-01-18
5. COMPRESSED DECISION PROBLEMS FOR GRAPH PRODUCTS AND APPLICATIONS TO (OUTER) AUTOMORPHISM GROUPS;International Journal of Algebra and Computation;2012-12