| Original language | English |
|---|---|
| Publisher | Oxford University Press |
| Publication status | Published - 2000 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2.
- Dov M. Gabbay
- , Mark Reynolds
- , Marcelo Finger
Research output: Book/Report › Book