DMCA

Symbolic model checking for probabilistic processes using MTBDDs and the Kronecker representation (2000)

by Luca De Alfaro , Marta Kwiatkowska , Gethin Norman , David Parker , Roberto Segala
Venue:In Tools and Algorithms for the Analysis and Construction of Systems, LNCS 1785
Citations:34 - 2 self