Integer parameter synthesis for timed automata. (2013)

by A Jovanovic, D Lime, O H Roux
Venue:In TACAS 2013,