Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11 - 14 ; proceedings /

Bibliographic Details

Corporate Authors:	SpringerLink (Online service), ICTL, International Conference on Temporal Logic
Other Authors:	Gabbay, Dov M.
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin [u.a.] : Springer, 1994.
Series:	Lecture notes in computer science ; Lecture notes in artificial intelligence 827
Subjects:	Computer programming Logic, Symbolic and mathematical Electronic books.
Online Access:	Connect to the full text of this electronic book