Possibilistic and Probabilistic Abstraction-Based Model Checking (2002)

Cached

Download Links

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
Citations:4 - 2 self