Reachability Analysis of Probabilistic Systems by Successive Refinements

P.R. d' Argenio, B. Jeannet, H.E. Jensen, K.G. Larsen

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

    106 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProcess Algebra and Probabilistic Methods. Performance Modelling and Verification
    Subtitle of host publicationJoint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedings
    Pages39-56
    ISBN (Electronic)978-3-540-44804-4
    DOIs
    Publication statusPublished - 2001
    EventJoint International Workshop on Process Algebra and Probabilistic Methods & Probabilistic Methods in Verification, PAPM-PROBMIV 2001 - Aachen, Germany
    Duration: 12 Sep 200114 Sep 2001

    Publication series

    NameLecture notes in computer science
    PublisherSpringer
    Volume2165

    Workshop

    WorkshopJoint International Workshop on Process Algebra and Probabilistic Methods & Probabilistic Methods in Verification, PAPM-PROBMIV 2001
    Abbreviated titlePAPM-PROBMIV
    CountryGermany
    CityAachen
    Period12/09/0114/09/01

    Keywords

    • METIS-205773

    Cite this