Symbolic model checking for probabilistic processes (1997)

by C Baier, E M Clarke, V Hartonas-Garmhausen, M Z Kwiatkowska, M Ryan
Venue:In Proc. of the 24th International Colloquium on Automata, Languages and Programming (ICALP'97), volume 1256 of LNCS