Author:
Kouko Gildas,Desharnais Josée,Laviolette François
Publisher
Springer International Publishing
Reference19 articles.
1. Lecture Notes in Computer Science;A Abate,2014
2. de Alfaro, L.: Formal verification of probabilistic systems. Ph.D. thesis, Stanford University. Technical Report STAN-CS-TR-98-1601 (1997)
3. Lecture Notes in Computer Science;S Amin,2006
4. Lecture Notes in Computer Science;J Assouramou,2010
5. Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans. Software Eng. (2003)