Back and forth through time and events

Authors
Publication date 1994
Host editors
  • D.M. Gabbay
  • H.J. Ohlbach
Book title Temporal logic: First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
ISBN
  • 354058241X
  • 9783540582410
Series Lecture notes in computer science, 827
Pages (from-to) 225-337
Publisher Berlin: Springer
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Chapter
Permalink to this page
Back