TY  - RPRT
TI  - Stochastic Timed Automata
AU  - Nathalie Bertrand
AU  - Patricia Bouyer
AU  - Thomas Brihaye
AU  - Quentin Menet
AU  - Christel Baier
AU  - Marcus Groesser
AU  - Marcin Jurdzinski
PY  - 2014
DO  - 10.2168/lmcs-10(4:6)2014
UR  - https://arxiv.org/abs/1410.2128
ID  - 1410.2128
ER  -