Temporal Logic: Mathematical Foundations and Computational Aspects
- Author
- Dov M. Gabbay, Ian Hodkinson, Mark Reynolds
- Publisher
- Clarendon Press
- Language
- English
- Year
- 1994
- Page
- 668
- ISBN
- 0198537697,9780198537694
- File Type
- djvu
- File Size
- 4.4 MiB
How to Download?!!!
Just click on START button on Telegram Bot