Presburger liveness verification of discrete timed automata (0)

by Z Dang, P San Pietro, R Kemmerer
Venue:TCS