Probabilistic automata: system types, parallel composition and comparison. (2004)

by A Sokolova, E de Vink
Venue:In Validation of Stochastic Systems: A Guide to Current Research, LNCS,