A theory of timed automata (1999)
Cached
Download Links
- [www.cis.upenn.edu]
- [www.cs.auc.dk]
- [drona.csa.iisc.ernet.in]
- DBLP
Other Repositories/Bibliography
by
Rajeev Alur
| Citations: | 1660 - 26 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 |
