Diagonal constraints in timed automata: Forward analysis of timed systems (2005)

by BLR05 P Bouyer, F Laroussinie, P-A Reynier
Venue:In FORMATS, volume 3829 of LNCS