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:85 - 30 self