Real-time logics: complexity and expressiveness (1993)
Cached
Download Links
- [www-cad.eecs.berkeley.edu]
- [www.cis.upenn.edu]
- DBLP
Other Repositories/Bibliography
by
Rajeev Alur
,
Thomas A. Henzinger
| Venue: | INFORMATION AND COMPUTATION |
| Citations: | 183 - 16 self |
Document Versions
| Real-time logics: complexity and expressiveness –Rajeev Alur, Thomas A. Henzinger — 1993 — INFORMATION AND COMPUTATION |
| Real-time Logics: Complexity and Expressiveness –Rajeev Alur, Thomas A. Henzinger — 1990 — Information and Computation |
