PARAM: A Model Checker for Parametric Markov Models

Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang

    Research output: Contribution to journalConference articleResearchpeer-review

    Original languageEnglish
    Book seriesLecture Notes in Computer Science
    ISSN0302-9743
    Publication statusPublished - 2010
    Event22nd International Conference on Computer Aided Verification - Edinburgh, United Kingdom
    Duration: 15 Jul 201019 Jul 2010
    Conference number: 22
    http://www.floc-conference.org/CAV-home.html

    Conference

    Conference22nd International Conference on Computer Aided Verification
    Number22
    CountryUnited Kingdom
    CityEdinburgh
    Period15/07/201019/07/2010
    Internet address

    Cite this