Improving the Verification of Timed Systems Using Influence Information.

Vctor A. Braberman, Diego Garbervetsky, Alfredo Olivero

Browse the full TACAS paper archive.