A Theory of Duration Calculus with Application

Michael R. Hansen, Dang Van Hung. A Theory of Duration Calculus with Application. In Chris George, Zhiming Liu, Jim Woodcock, editors, Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures. Volume 4710 of Lecture Notes in Computer Science, pages 119-176, Springer, 2007. [doi]

Abstract

Abstract is missing.