Event-Clock Automata: A Determinizable Class of Timed Automata (1999)

Cached

Download Links

by Rajeev Alur , Limor Fix , Thomas A. Henzinger
Venue:Theoretical Computer Science
Citations:91 - 3 self