TY  - RPRT
TI  - A Decidable Probability Logic for Timed Probabilistic Systems
AU  - Ruggero Lanotte
AU  - Daniele Beauquier
PY  - 2006
UR  - https://arxiv.org/abs/cs/0411100
ID  - cs/0411100
ER  -