Author:
Ciardo Gianfranco,Marmorstein Robert,Siminiceanu Radu
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons, New York, 1995.
2. V. Amoia, G. De Micheli, and M. Santomauro. Computer-oriented formulation of transition-rate matrices via Kronecker algebra. IEEE Trans. Rel., 30:123–132, June 1981.
3. R. Bloem, K. Ravi, and F. Somenzi. Symbolic guided search for CTL model checking. In Proc. 37th Conf. on Design Automation, p. 29–34. ACM Press, 2000.
4. A. Bouajjani, B. Jonsson, M. Nilsson, and T. Touili. Regular model checking. In Computer Aided Verification, pages 403–418, 2000.
5. R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Trans. Comp., 35(8):677–691, Aug. 1986.
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Decision Diagram Operation for Reachability;Formal Methods;2023
2. Reachability Set Generation Using Hybrid Relation Compatible Saturation;Lecture Notes in Computer Science;2020
3. Improving Saturation Efficiency with Implicit Relations;Application and Theory of Petri Nets and Concurrency;2019
4. Presentation of the 9th Edition of the Model Checking Contest;Tools and Algorithms for the Construction and Analysis of Systems;2019
5. Multi-core On-The-Fly Saturation;Tools and Algorithms for the Construction and Analysis of Systems;2019