Dang Van Hung and Zhou Chaochen: Probabilistic Duration Calculus for Continuous Time. (1999)journals/fac/HungC9910.1007/S001650050034Probabilistic Duration Calculus for Continuous Time.2Dang Van Hung1Zhou Chaochen221-44Formal Aspects Comput.Formal Aspects Comput.1111999provenance information for RDF data of dblp record 'journals/fac/HungC99'2022-05-09T16:20:12+0200