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
Citations:81 - 28 self