The logic of event clocks

Pierre-Yves Schobbens, Jean-Francois Raskin

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

Schobbens, P-Y., & Raskin, J-F. (1999). The logic of event clocks. Saarbrücken (Germany): Max-Planck-Institut für Informatik.
Schobbens, Pierre-Yves ; Raskin, Jean-Francois. / The logic of event clocks. Saarbrücken (Germany) : Max-Planck-Institut für Informatik, 1999.
@book{500a15bfb76446db8d36fbb05aa55a64,
title = "The logic of event clocks",
author = "Pierre-Yves Schobbens and Jean-Francois Raskin",
note = "Publication code : **RES. ACAD.",
year = "1999",
language = "English",
volume = "3",
publisher = "Max-Planck-Institut f{\"u}r Informatik",

}

Schobbens, P-Y & Raskin, J-F 1999, The logic of event clocks. vol. 3, Max-Planck-Institut für Informatik, Saarbrücken (Germany).

The logic of event clocks. / Schobbens, Pierre-Yves; Raskin, Jean-Francois.

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

Research output: Book/Report/JournalOther report

TY - BOOK

T1 - The logic of event clocks

AU - Schobbens, Pierre-Yves

AU - Raskin, Jean-Francois

N1 - Publication code : **RES. ACAD.

PY - 1999

Y1 - 1999

M3 - Other report

VL - 3

BT - The logic of event clocks

PB - Max-Planck-Institut für Informatik

CY - Saarbrücken (Germany)

ER -

Schobbens P-Y, Raskin J-F. The logic of event clocks. Saarbrücken (Germany): Max-Planck-Institut für Informatik, 1999.