| Original language | English |
|---|---|
| Publisher | IEEE Computer Press |
| Place of Publication | Washingthon (D.C.), USA |
| Publication status | Published - 2002 |
| Externally published | Yes |
Keywords
- METIS-208750
Model-checking performability properties
Boudewijn R.H.M. Haverkort, L. Cloth, H. Hermanns, Joost P. Katoen, C Baier
Research output: Other contribution
62
Citations
(Scopus)