Jump to Content

Approximate reasoning for real-time probabilistic processes

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

Abstract