Model checking action- and state-labelled Markov chains

L. Cloth, C Baier, M. Kuntz, M. Siegle, Boudewijn R.H.M. Haverkort

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

    19 Citations (Scopus)
    Original languageUndefined
    Title of host publicationProceedings of the 2004 International Conference on Dependable Systems and Networks
    Place of PublicationFlorence, Italy
    PublisherIEEE Computer Society Press
    Pages701-710
    Number of pages10
    ISBN (Print)0-7695-2052-9
    Publication statusPublished - 28 Jun 2004
    EventInternational Conference on Dependable Systems and Networks, DSN 2004 - Florence, Italy
    Duration: 28 Jun 20041 Jul 2004

    Conference

    ConferenceInternational Conference on Dependable Systems and Networks, DSN 2004
    Abbreviated titleDSN
    CountryItaly
    CityFlorence
    Period28/06/041/07/04

    Keywords

    • METIS-218831

    Cite this

    Cloth, L., Baier, C., Kuntz, M., Siegle, M., & Haverkort, B. R. H. M. (2004). Model checking action- and state-labelled Markov chains. In Proceedings of the 2004 International Conference on Dependable Systems and Networks (pp. 701-710). Florence, Italy: IEEE Computer Society Press.