DMCA

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

Cached

Download Links

by Patricia Bouyer , François Laroussinie , Pierre-alain Reynier
Venue:In Proc. FORMATS’05, vol. 3829 of LNCS
Citations:11 - 3 self