On Presburger liveness of discrete timed automata (2001)

by Z Dang, P San Pietro, R A Kemmerer
Venue:in STACS 2001, Proc. 18th Annual Symp. on Theoretical Aspects of Computer Science