Author:
Amparore Elvio Gilberto,Donatelli Susanna
Publisher
Springer International Publishing
Reference16 articles.
1. Lecture Notes in Computer Science;EG Amparore,2014
2. Lecture Notes in Computer Science;EG Amparore,2010
3. Amparore, E.G., Donatelli, S.: MC4CSL $$^{\rm TA}$$ : an efficient model checking tool for CSL $$^{\rm TA}$$ . In: International Conference on Quantitative Evaluation of Systems, pp. 153–154. IEEE Computer Society, Los Alamitos (2010)
4. Amparore, E.G., Donatelli, S.: A component-based solution for reducible Markov regenerative processes. Perform. Eval. 70(6), 400–422 (2013)
5. Lecture Notes in Computer Science;EG Amparore,2013
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献