DMCA

Decidable Approximations on Generalized and Parameterized Discrete Timed Automata (0)

Cached

Download Links

by Zhe Dang , Oscar H. Ibarra , Richard A. Kemmerer
Venue:COCOON'01, LNCS 2108
Citations:2 - 2 self