DMCA

Generalized discrete timed automata: decidable approximations for safety verification

by Zhe Dang , Oscar H. Ibarra , Richard A. Kemmerer
Venue:Theoretical Computer Science
Citations:4 - 4 self