Axioms for real-time logics

Thomas Henzinger, Jean-Francois Raskin, Pierre-Yves Schobbens

Research output: Book/Report/JournalOther report

Original languageEnglish
Place of PublicationSaarbrücken (Germany)
PublisherMax-Planck-Institut für Informatik
Volume3
Publication statusPublished - 1999

Cite this

Henzinger, T., Raskin, J-F., & Schobbens, P-Y. (1999). Axioms for real-time logics. Saarbrücken (Germany): Max-Planck-Institut für Informatik.
Henzinger, Thomas ; Raskin, Jean-Francois ; Schobbens, Pierre-Yves. / Axioms for real-time logics. Saarbrücken (Germany) : Max-Planck-Institut für Informatik, 1999.
@book{2db700b570394cd58c39811f52c9eba6,
title = "Axioms for real-time logics",
author = "Thomas Henzinger and Jean-Francois Raskin and Pierre-Yves Schobbens",
note = "Publication code : **RES. ACAD.",
year = "1999",
language = "English",
volume = "3",
publisher = "Max-Planck-Institut f{\"u}r Informatik",

}

Henzinger, T, Raskin, J-F & Schobbens, P-Y 1999, Axioms for real-time logics. vol. 3, Max-Planck-Institut für Informatik, Saarbrücken (Germany).

Axioms for real-time logics. / Henzinger, Thomas; Raskin, Jean-Francois; Schobbens, Pierre-Yves.

Saarbrücken (Germany) : Max-Planck-Institut für Informatik, 1999.

Research output: Book/Report/JournalOther report

TY - BOOK

T1 - Axioms for real-time logics

AU - Henzinger, Thomas

AU - Raskin, Jean-Francois

AU - Schobbens, Pierre-Yves

N1 - Publication code : **RES. ACAD.

PY - 1999

Y1 - 1999

M3 - Other report

VL - 3

BT - Axioms for real-time logics

PB - Max-Planck-Institut für Informatik

CY - Saarbrücken (Germany)

ER -

Henzinger T, Raskin J-F, Schobbens P-Y. Axioms for real-time logics. Saarbrücken (Germany): Max-Planck-Institut für Informatik, 1999.