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 |
| Citations: | 4 - 2 self |
Document Versions
| Possibilistic and Probabilistic Abstraction-Based Model Checking –Michael Huth — 2002 — Process Algebra and Probabilistic Methods, Performance Modeling and Veri Second Joint International Workshop PAPM-PROBMIV 2002, volume 2399 of Lecture Notes in Computer Science |
