TY  - RPRT
TI  - Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata
AU  - Tomáš Brázdil
AU  - Jan Krčál
AU  - Jan Křetínský
AU  - Antonín Kučera
AU  - Vojtěch Řehák
PY  - 2011
UR  - https://arxiv.org/abs/1101.4204
ID  - 1101.4204
ER  -