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