A constructive fixed-point theorem and the feedback semantics of timed systems (2006)

by A Cataldo, E Lee, X Liu, E Matsikoudis, H Zheng
Venue:In Proceedings of the 8th International Workshop on Discrete-Event Systems (WODES’06