Model Checking Gigantic Markov Models

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    45 Downloads (Pure)
    Original languageUndefined
    Title of host publicationProceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014
    EditorsDimitra Giannakopoulou, Gwen Salaün
    Place of PublicationLondon
    PublisherSpringer
    Pagesxv-xvii
    Number of pages2
    ISBN (Print)978-3-319-10430-0
    DOIs
    Publication statusPublished - Sep 2014
    Event12th International Conference on Software Engineering and Formal Methods, SEFM 2014 - Grenoble, France
    Duration: 1 Sep 20145 Sep 2014
    Conference number: 12

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    Volume8702
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference12th International Conference on Software Engineering and Formal Methods, SEFM 2014
    Abbreviated titleSEFM
    CountryFrance
    CityGrenoble
    Period1/09/145/09/14

    Keywords

    • EWI-25691
    • IR-94427
    • METIS-309875

    Cite this