A Theory of Timed Automata (1994)

Cached

Download Links

by Rajeev Alur , David L. Dill
Venue:Theoretical Computer Science
Citations:2629 - 32 self