PRISM-games: A model checker for stochastic multi-player games

Research output: Book/ReportBook

Standard

PRISM-games: A model checker for stochastic multi-player games. / Chen, Taolue; Forejt, V.; Kwiatkowska, M.; Parker, D.; Simaitis, A.

2013.

Research output: Book/ReportBook

Harvard

APA

Vancouver

Author

Bibtex

@book{c27e04eaa9e841e188f631745c636431,
title = "PRISM-games: A model checker for stochastic multi-player games",
author = "Taolue Chen and V. Forejt and M. Kwiatkowska and D. Parker and A. Simaitis",
year = "2013",
doi = "10.1007/978-3-642-36742-7_13",
language = "Undefined/Unknown",

}

RIS

TY - BOOK

T1 - PRISM-games: A model checker for stochastic multi-player games

AU - Chen, Taolue

AU - Forejt, V.

AU - Kwiatkowska, M.

AU - Parker, D.

AU - Simaitis, A.

PY - 2013

Y1 - 2013

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84874429428&partnerID=MN8TOARS

U2 - 10.1007/978-3-642-36742-7_13

DO - 10.1007/978-3-642-36742-7_13

M3 - Book

BT - PRISM-games: A model checker for stochastic multi-player games

ER -