Approximate reasoning for real-time probabilistic processes

Vineet Gupta Radha Jagadeesan Prakash Panangaden Approximate reasoning for real-time probabilistic processes http://arxiv.org/abs/cs/0505063 2005 CoRR abs/cs/0505063 db/journals/corr/corr0505.html#abs-cs-0505063 informal publication