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