DMCA

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:97 - 29 self