2002b) Possibilistic and Probabilistic Abstraction-Based Model Checking (0)

by M Huth
Venue:Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002