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

Fen Jin, Henrik Hulgaard, Eduard Cerny

Browse the full FMCAD paper archive.