Decidable approximations on generalized and parameterized discrete timed automata (0)

by Z Dang, O H Ibarra, R A Kemmerer
Venue:COCOON'01, LNCS 2108