@inbook{Chen_2013,
    title = {PRISM-games: A Model Checker for Stochastic Multi-Player Games},
    isbn = {9783642367427},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-642-36742-7_13},
    doi = {10.1007/978-3-642-36742-7_13},
    booktitle = {Lecture Notes in Computer Science},
    publisher = {Springer Berlin Heidelberg},
    author = {Chen, Taolue and Forejt, Vojtěch and Kwiatkowska, Marta and Parker, David and Simaitis, Aistis},
    year = {2013},
    pages = {185–191},
    date-added = {2023-11-25 9:48:39 +0100}
}

@inbook{Chen_2013, title = {PRISM-games: A Model Checker for Stochastic Multi-Player Games}, isbn = {9783642367427}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-642-36742-7_13}, doi = {10.1007/978-3-642-36742-7_13}, booktitle = {Lecture Notes in Computer Science}, publisher = {Springer Berlin Heidelberg}, author = {Chen, Taolue and Forejt, Vojtěch and Kwiatkowska, Marta and Parker, David and Simaitis, Aistis}, year = {2013}, pages = {185–191}, date-added = {2023-11-25 9:48:39 +0100} }