Paradigms for real-time systems

• Authors:

• Ron Koymans;Ruurd Kuiper;Erik Zijlstra

• Affiliations:

• Technische Univ. Eindhoven, Eindhoven;Technische Univ. Eindhoven, Eindhoven;Foxboro Nederland NV, The Netherlands

• Venue:
• Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
• Year:
• 1988