| Original language | English |
|---|---|
| Publisher | IEEE Computer Press |
| Place of Publication | Washingthon (D.C.), USA |
| Publication status | Published - 2002 |
| Externally published | Yes |
Keywords
- METIS-208750
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Model-checking performability properties
- Boudewijn R.H.M. Haverkort
- , L. Cloth
- , H. Hermanns
- , Joost P. Katoen
- , C Baier
Research output: Other contribution
62
Link opens in a new tab
Citations
(Scopus)