Semantics and Completeness of Duration Calculus

Michael R. Hansen, Zhou Chaochen. Semantics and Completeness of Duration Calculus. In J. W. de Bakker, Cornelis Huizing, Willem P. de Roever, Grzegorz Rozenberg, editors, Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings. Volume 600 of Lecture Notes in Computer Science, pages 209-225, Springer, 1991.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.