Author:
Hermanns Holger,Katoen Joost-Pieter
Publisher
Springer Berlin Heidelberg
Reference51 articles.
1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modeling with Generalized Stochastic Petri Nets. John Wiley & Sons, 1995.
2. R. Alur, C. Courcoubetis, and D. Dill. Model-checking in dense real-time. Information and Computation, 104(1):2–34, 1993.
3. Lect Notes Comput Sci;A. Aziz,1995
4. A. Aziz, K. Sanwal, V. Singhal and R. Brayton. Model checking continuous time Markov chains. ACM Transactions on Computational Logic, 1(1): 162–170, 2000.
5. Lect Notes Comput Sci;C. Baier,2000
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献