Timed Automata (1999)

Cached

Download Links

by Rajeev Alur
Venue:Theoretical Computer Science
Citations:1966 - 31 self