#### 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 |