Author:
Bortolussi Luca,Lanciani Roberta
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Andersson, H., Britton, T.: Stochastic Epidemic Models and Their Statistical Analysis. Springer (2000)
2. Baier, C., Cloth, L., Haverkort, B.R., Kuntz, M., Siegle, M.: Model checking markov chains with actions and state labels. IEEE Trans. Software Eng. 33(4), 209–224 (2007)
3. Lecture Notes in Computer Science;C. Baier,2000
4. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press (2008)
5. Lecture Notes in Computer Science;L. Bortolussi,2012
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献