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