TY  - RPRT
TI  - On Zone-Based Analysis of Duration Probabilistic Automata
AU  - Oded Maler
AU  - Kim G. Larsen
AU  - Bruce H. Krogh
PY  - 2010
DO  - 10.4204/eptcs.39.3
UR  - https://arxiv.org/abs/1011.0219
ID  - 1011.0219
ER  -