A theory of timed automata (1999)

Cached

Download Links

by Rajeev Alur
Citations:1971 - 31 self

Document Versions

A theory of timed automata –Rajeev Alur — 1999
Timed Automata –Rajeev Alur — 1999 — Theoretical Computer Science
A Theory of Timed Automata –Rajeev Alur, David L. Dill — 1994 — Theoretical Computer Science