Effective Temporal Logic of Programs

Authors
  • H. Andreka
  • V. Goranko
  • S. Mikulas
  • I. Nemeti
  • I. Sain
Publication date 1995
Host editors
  • A. Szalas
  • E. Bolc
Book title Time and Logic
Publisher University College London: UCL Press
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back