Semantics and Completeness of Duration Calculus

Michael Reichhardt Hansen, Zhou Chaochen, J. W. de Bakker (Editor), G. Rozenberg (Editor), P. de Roever (Editor), C. Huizing (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Real-Time: Theory in Practice, REX Workshop
Publisher	Springer Verlag
Publication date	1992
Pages	209-225
Publication status	Published - 1992
Event	Real-Time: Theory in Practice, REX Workshop - Duration: 1 Jan 1992 → …

Conference	Real-Time: Theory in Practice, REX Workshop
Period	01/01/1992 → …

OpenUrl availability

@inproceedings{6992862141764b359318e43925460e87,

title = "Semantics and Completeness of Duration Calculus",

author = "Hansen, {Michael Reichhardt} and Zhou Chaochen and {W. de Bakker}, J. and G. Rozenberg and Roever, {P. de} and C. Huizing",

year = "1992",

language = "English",

pages = "209--225",

booktitle = "Real-Time: Theory in Practice, REX Workshop",

publisher = "Springer Verlag",

address = "Germany",

note = "Real-Time: Theory in Practice, REX Workshop ; Conference date: 01-01-1992",

}

TY - GEN

T1 - Semantics and Completeness of Duration Calculus

AU - Hansen, Michael Reichhardt

AU - Chaochen, Zhou

A2 - W. de Bakker, J.

A2 - Rozenberg, G.

A2 - Roever, P. de

A2 - Huizing, C.

PY - 1992

Y1 - 1992

M3 - Article in proceedings

SP - 209

EP - 225

BT - Real-Time: Theory in Practice, REX Workshop

PB - Springer Verlag

T2 - Real-Time: Theory in Practice, REX Workshop

Y2 - 1 January 1992

ER -