Integer Parameter Synthesis for Timed Automata
A. Jovanović‚ D. Lime and O. H. Roux
Book Title
TACAS 2013
Pages
401–415
Publisher
Springer
Series
LNCS
Volume
7795
Year
2013
A. Jovanović‚ D. Lime and O. H. Roux