P.Ravn, Erling V.Srensen and Zhou Chao Chen, "A Probabilistic Duration Calculus (1993)

by Liu Zhimming, Anders
Venue:In Dependable Computing and Fault-Tolerant Systems