Approximate reasoning for real-time probabilistic processes

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

Abstract