A theory of timed automata (1999)

Cached

Download Links

by Rajeev Alur
Citations:1964 - 31 self