Author:
Jansen David N.,Hermanns Holger,Katoen Joost-Pieter
Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. Ajmone Marsan, M., Conte, G., Balbo, G.: A Class of Generalised Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems. ACM Transactions on Computer Systems 2(2), 93–122 (1984)
2. Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modeling with Generalized Stochastic Petri Nets. John Wiley & Sons, Chichester (1995)
3. de Alfaro, L.: Formal Verification of Probabilistic Systems. Ph.D dissertation, Stanford University (1997)
4. Alur, R., Dill, D.: A theory of timed automata. Th. Comp. Sc. 126, 183–235 (1994)
5. Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.: Model-checking algorithms for continuous-time Markov chains. IEEE Transactions on Software Engineering 29(6), 524–545 (2003)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献