Periodicals

Journal Articles

• Courcoubetis, C., Vardi, M., Wolper, P., & Yannakakis, M. (1992). Memory-efficient algorithms for the verification of temporal properties. Form Method Syst Des, 1(2-3), 275-288. Kluwer Academic Publishers.
• Courcoubetis, C., & Yannakakis, M. (1992). Minimum and maximum delay problems in real-time systems. Form Method Syst Des, 1(4), 385-415. Kluwer Academic Publishers.