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 editingAcademic

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

    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. Los Alamitos, CA, USA: IEEE Computer Society.