Original language | English |
---|---|
DOIs | |
Publication status | Published - 2011 |
PRISM 4.0: Verification of probabilistic real-time systems
M. Kwiatkowska, G. Norman, D. Parker
Research output: Book/Report › Book
1377
Citations
(Scopus)