Original language | English |
---|---|
DOIs | |
Publication status | Published - 2009 |
Stochastic games for verification of probabilistic timed automata
M. Kwiatkowska, G. Norman, D. Parker
Research output: Book/Report › Book
M. Kwiatkowska, G. Norman, D. Parker
Research output: Book/Report › Book
Original language | English |
---|---|
DOIs | |
Publication status | Published - 2009 |