Approximate reasoning for real-time probabilistic processes

Radha Jagadeesan
Prakash Panangaden
Logical Methods in Computer Science, 2(2006)

Abstract