Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference27 articles.
1. Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley, London (1995)
2. Alur, R., Courcoubetis, C., Dill, D.: Model-checking for probabilistic real-time systems. In: ICALP’91, LNCS 510 (1991)
3. Andrei, O., Calder, M.: Trend-based analysis of a population model of the akap scaffold protein. Trans. Compt. Syst. Biol. 14, 1–25 (2012)
4. Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.: Model-checking algorithms for CTMCs. IEEE Trans. Softw. Eng. 29(6), 524–541 (2003)
5. Ballarini, P., Djafri, H., Duflot, M., Haddad, S., Pekergin, N.: COSMOS: A statistical model checker for the hybrid automata stochastic logic. In: Proceedings of the 8th international conference on quantitative evaluation of systems (QEST’11), pp. 143–144. IEEE Computer Society Press (2011)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献