DMCA

Presburger Liveness Verification of Discrete Timed Automata (2003)

Cached

Download Links

by Zhe Dang , Pierluigi San Pietro , Richard A. Kemmerer
Citations:8 - 4 self