TY  - RPRT
TI  - Trace Expressiveness of Timed and Probabilistic Automata
AU  - Valentin Bura
AU  - Tim French
AU  - Mark Reynolds
PY  - 2019
UR  - https://arxiv.org/abs/1703.08956
ID  - 1703.08956
ER  -