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