Possibilistic and Probabilistic Abstraction-Based Model Checking (2002)

by Michael Huth
Venue:Process Algebra and Probabilistic Methods, Performance Modeling and Veri Second Joint International Workshop PAPM-PROBMIV 2002, volume 2399 of Lecture Notes in Computer Science