Symbolic model checking for probabilistic processes, ICALP (1997)

by C Baier, E M Clarke, V Hartonas-Garmhausen, M Z Kwiatkowska, M Ryan