Symbolic model checking for probabilistic processes (1997)

by Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-garmhausen, Marta Kwiatkowska, Mark Ryan
Venue:IN PROCEEDINGS OF ICALP '97