Temporal Logic: First International Conference, ICTL ’94 Bonn, Germany, July 11-14, 1994 Proceedings

Dov M. Gabbay, Hans Jürgen Ohlbach

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageEnglish
Title of host publicationTemporal Logic - 1st International Conference, ICTL 1994, Proceedings
EditorsDov M. Gabbay, Hans Jurgen Ohlbach
PublisherSpringer Verlag
ISBN (Print)9783540582410
StatePublished - 1994
Externally publishedYes
Event1st International Conference on Temporal Logic, ICTL 1994 - Bonn, Germany
Duration: 11 Jul 199414 Jul 1994

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume827 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference1st International Conference on Temporal Logic, ICTL 1994
Country/TerritoryGermany
CityBonn
Period11/07/9414/07/94

Cite this