Stochastic Timed Automata
| Title | Stochastic Timed Automata |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Authors | Bertrand, N, Bouyer, P, Brihaye, T, Menet, Q, Baier, C, Größer, M, Jurdzinski, M |
| Journal | Logical Methods in Computer Science (LMCS) |
| Volume | 10 |
| Pagination | 1–73 |
Work Package:
WP1
