Model-checking performability properties

Boudewijn R.H.M. Haverkort, L. Cloth, H. Hermanns, Joost P. Katoen, C Baier

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    56 Citations (Scopus)
    Original languageUndefined
    Title of host publicationProceedings of the Int. IEEE Conference on Dependable Systems and Networks (DSN)
    Place of PublicationWashingthon (D.C.), USA
    PublisherIEEE CS Press
    Pages-
    Number of pages10
    Publication statusPublished - 2002
    EventInternational Conference on Dependable Systems and Networks, DSN 2002 - Washington, United States
    Duration: 23 Jun 200226 Jun 2002

    Other

    OtherInternational Conference on Dependable Systems and Networks, DSN 2002
    Abbreviated titleDSN
    CountryUnited States
    CityWashington
    Period23/06/0226/06/02

    Keywords

    • METIS-208750

    Cite this

    Haverkort, B. R. H. M., Cloth, L., Hermanns, H., Katoen, J. P., & Baier, C. (2002). Model-checking performability properties. In Proceedings of the Int. IEEE Conference on Dependable Systems and Networks (DSN) (pp. -). Washingthon (D.C.), USA: IEEE CS Press.