Duration Specifications for Shared Processors

Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel. Duration Specifications for Shared Processors. In Jan Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings. Volume 571 of Lecture Notes in Computer Science, pages 21-32, Springer, 1992.

Abstract

Abstract is missing.