Temporal logic
Subtitle: first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
By: Dov M. Gabbay, Hans J. Ohlbach (eds.).
Contributors: Gabbay, Dov M., 1945-; Ohlbach, Hans Jürgen.
Series: Lecture notes in computer science ;; 827. Lecture notes in artificial intelligence; Lecture notes in computer science ;; 827.; Lecture notes in computer science.
Publisher: Springer-Verlag
Published: 1994
Place of publication: Berlin; New York
Language: eng
Number of pages: 545
Subjects: Computer programming; Logic, Symbolic and mathematical
Notes: Includes bibliiographical references and index.