Author:
David Alexandre,Behrmann Gerd,Larsen Kim G.,Yi Wang
Publisher
Springer Berlin Heidelberg
Reference2 articles.
1. S. Christensen and L. M. Kristensen. State space analysis of hierarchical coloured petri nets. In B. Farwer, D. Moldt, and M-O. Stehr, editors, Proceedings of PNSE’97, number 205, pages 32–43, Hamburg, Germany, 1997.
2. Gianfranco F. Ciardo and David M. Nicol. Automated parallelization of discrete state-space generation. In Journal of Parallel and Distributed Computing, volume 47, pages 153–167. ACM, 1997.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Power of Statistical Model Checking;Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications;2016
2. Uppaal SMC tutorial;International Journal on Software Tools for Technology Transfer;2015-01-06
3. Developing UPPAAL over 15 years;Software: Practice and Experience;2011-01-23
4. Properties of state spaces and their applications;International Journal on Software Tools for Technology Transfer;2008-06-06
5. Timed Automata: Semantics, Algorithms and Tools;Lectures on Concurrency and Petri Nets;2004