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