Modular specification of real-time systems

Recep Inal. Modular specification of real-time systems. In Sixth Euromicro Workshop on Real-Time Systems, RTS 1994, Vaesteraas, Sweden, June 15-17, 1994. Proceedings. pages 16-21, IEEE, 1994. [doi]

Abstract

Abstract is missing.