On the Synthesis of Discrete Controllers for Timed Systems (0)

by O Maler, A Pnueli, J Sifakis
Venue:In 12th Annual Symposium on Theoretical Aspects of Computer Science, STACS 1995: 229-242, Lecture