Timed Control Synthesis for External Specifications (2002)

by D D‘SOUZA, P MADHUSUDAN
Venue:Proc. 19th International Symposium on Theoretical Aspects of Computer Science (STACS’02