Maximum Time Separation of Events in Cyclic Systems with Linear and Latest Timing Constraints

Fen Jin, Henrik Hulgaard, Eduard Cerny. Maximum Time Separation of Events in Cyclic Systems with Linear and Latest Timing Constraints. In Ganesh Gopalakrishnan, Phillip J. Windley, editors, Formal Methods in Computer-Aided Design, Second International Conference, FMCAD 98, Palo Alto, California, USA, November 4-6, 1998, Proceedings. Volume 1522 of Lecture Notes in Computer Science, pages 167-184, Springer, 1998. [doi]

Abstract

Abstract is missing.