Timed control synthesis for external specifications (2002)

by D D’Souza, P Madhusudan
Venue:In Proc. 19th Int. Symp. Theoretical Aspects of Computer Science (STACS’02), volume 2285 of LNCS