TY  - RPRT
TI  - Approximate reasoning for real-time probabilistic processes
AU  - Vineet Gupta
AU  - Radha Jagadeesan
AU  - Prakash Panangaden
PY  - 2006
DO  - 10.2168/lmcs-2(1:4)2006
UR  - https://arxiv.org/abs/cs/0505063
ID  - cs/0505063
ER  -