Author:
Hansen Helle Hvid,Ketema Jeroen,Luttik Bas,Mousavi MohammadReza,van de Pol Jaco
Publisher
Springer Science and Business Media LLC
Reference22 articles.
1. Alur R, Yannakakis M (2001) Model checking of hierarchical state machines. ACM Trans Program Lang Syst 23(3): 273–303
2. Baier C, Katoen J-P (2008) Principles of model checking. The MIT Press, New York
3. Bergstra JA, Klop JW (1984) Process algebra for synchronous communicati. Inf Control 60(1–3): 109–137
4. Blom S, van de Pol J (2008) Symbolic reachability for process algebras with recursive data types. In: Proceedings on theoretical aspects of computing (ICTAC 2008). Lecture Notes in Computer Science, vol 5160. Springer, Berlin, pp 81–95
5. Blom SCC, van de Pol JC, Weber M (2009) Bridging the gap between enumerative and symbolic model checkers. Technical Report TR-CTIT-09-30, CTIT, University of Twente, Enschede
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献