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