Author:
Cerone Antonio,Scotti Marco
Publisher
Springer International Publishing
Reference72 articles.
1. T21.
http://www.millennium-institute.org/integrated_planning/tools/t21/
2. Workshop on statistical model checking.
http://rv2013.gforge.inria.fr/workshop.html
3. Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126, 183–235 (1994)
4. Lecture Notes in Computer Science;PC Attie,2001
5. Baier, C., Haverkort, B., Hermanns, H., Kaoten, J.-P.: Model-checking algorithms for continuous-time markov chains. IEEE Trans. Softw. Eng. 29(7), 524–541 (2003)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献