From ATP to timed graphs and hybrid systems (1993)

by X Nicollin, J Sifakis, S Yovine
Venue:Aeta Informatiea