Dang Van Hung; Chaochen, Zhou Probabilistic duration calculus for continuous time. (English) Zbl 0937.68079 Formal Asp. Comput. 11, No. 1, 21-44 (1999). Cited in 7 Documents MSC: 68Q45 Formal languages and automata Keywords:duration calculus PDFBibTeX XMLCite \textit{Dang Van Hung} and \textit{Z. Chaochen}, Formal Asp. Comput. 11, No. 1, 21--44 (1999; Zbl 0937.68079) Full Text: DOI