A Declarative Language for the Specification of Real Time Systems

Antony A. Faustini, Edgar B. Lewis. A Declarative Language for the Specification of Real Time Systems. In Proceedings of the 6th IEEE Real-Time Systems Symposium (RTSS 85), December 3-6, 1985, San Diego, California, USA. pages 43-51, IEEE Computer Society, 1985.

Abstract

Abstract is missing.