Original language | English |
---|---|
DOIs | |
Publication status | Published - 2013 |
PRISM-games: A model checker for stochastic multi-player games
Taolue Chen, V. Forejt, M. Kwiatkowska, D. Parker, A. Simaitis
Research output: Book/Report › Book
88
Citations
(Scopus)