Publisher
Springer International Publishing
Reference10 articles.
1. Lecture Notes in Computer Science;E.G. Amparore,2014
2. Amparore, E.G., Donatelli, S.: MC4CSLTA: an efficient model checking tool for CSLTA. In: International Conference on Quantitative Evaluation of Systems, pp. 153–154 (2010)
3. Lecture Notes in Computer Science;J. Babar,2010
4. Ballarini, P., Djafri, H., Duflot, M., Haddad, S., Pekergin, N.: HASL: An expressive language for statistical verification of stochastic models. In: Proceedings of VALUETOOLS 2011, Cachan, France, pp. 306–315 (May 2011)
5. Bause, F., Buchholz, P., Kemper, P.: Hierarchically combined queueing petri nets. In: Proc. 11th Int. Conf. on Analysis and Optimization of Systems, Discrete Event Systems, Sophie-Antipolis, France, pp. 176–182 (1994)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Stochastic modelling and evaluation using GreatSPN;ACM SIGMETRICS Performance Evaluation Review;2022-06-02
2. starMC: an automata based CTL* model checker;PeerJ Computer Science;2022-02-24
3. Explaining Boolean-Logic Driven Markov Processes using GSPNs;2020 16th European Dependable Computing Conference (EDCC);2020-09
4. Dynamic GSPNs;Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools;2020-05-18
5. A CTL* Model Checker for Petri Nets;Application and Theory of Petri Nets and Concurrency;2020