Reachability and Reward Checking for Stochastic Timed Automata
| Title | Reachability and Reward Checking for Stochastic Timed Automata |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Authors | Hahn, EM, Hartmanns, A, Hermanns, H |
| Journal | {ECEASST} |
| Volume | 70 |
| URL | http://journal.ub.tu-berlin.de/eceasst/article/view/968 |
Work Package:
WP1
