Temporal logic : mathematical foundations and computational aspects

Saved in:
Bibliographic Details
Main Author: Gabbay, Dov M. 1945-
Other Authors: Hodkinson, Ian, Raynolds, Mark (Mark A.)
Format: Book
Language:English
Published: Oxford : Clarendon press, 1994
Series:Oxford logic guides ; ; 28
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items