Author:
Donatelli Susanna,Haddad Serge
Publisher
Springer International Publishing
Reference12 articles.
1. Amparore, E.G., Donatelli, S.: Efficient model checking of the stochastic logic CSL$$^\text{ TA }$$. Performance Eval. 123–124, 1–34 (2018)
2. Lecture Notes in Computer Science;EG Amparore,2013
3. Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model-checking continuous-time Markov chains. ACM Trans. Comput. Logic 1(1), 162–170 (2000)
4. Baier, C., Cloth, L., Haverkort, B.R., Kuntz, M., Siegle, M.: Model checking Markov chains with actions and state labels. IEEE TSE 33, 209–224 (2007)
5. Lecture Notes in Computer Science;C Baier,2000