Timed control synthesis for external specifications (0)

by D D’Souza, P Madhusudan
Venue:in: S. LNCS (Ed