DMCA

Pushdown Timed Automata: a Binary Reachability Characterization and Safety Verification (2003)

by Zhe Dang
Venue:Theoretical Computer Science
Citations:21 - 8 self