Approximate reasoning for real-time probabilistic processes

Vineet Gupta, Radha Jagadeesan, Prakash Panangaden. Approximate reasoning for real-time probabilistic processes. Logical Methods in Computer Science, 2(1), 2006. [doi]

Abstract

Abstract is missing.