QEST 2004: First International Conference on the Quantitative Evaluation of Systems: Proceedings

Boudewijn R.H.M. Haverkort, G. Franceschinis, Joost P. Katoen, M. Woodside

Research output: Book/ReportBook

Original languageEnglish
Place of PublicationLos Alamitos, CA, USA
PublisherIEEE Computer Society
ISBN (Print)0-7695-2185-1
Publication statusPublished - 2004
Externally publishedYes

Keywords

  • METIS-218837

Cite this

Haverkort, B. R. H. M., Franceschinis, G., Katoen, J. P., & Woodside, M. (2004). QEST 2004: First International Conference on the Quantitative Evaluation of Systems: Proceedings. IEEE Computer Society.