A Duration Semantics for Real-Time Reactive Systems

Michael Reichhardt Hansen; E.-R. Olderog; M. Schenke; Martin Fränzle; B. von Karger; M. Müller-Olm; Hans Rischel

A Duration Semantics for Real-Time Reactive Systems

Michael Reichhardt Hansen, E.-R. Olderog, M. Schenke, Martin Fränzle, B. von Karger, M. Müller-Olm, Hans Rischel

Research output: Book/Report › Report › Research › peer-review

Original language	English

Publisher	Report no. OLD MRH 1/1, ProCoS ESPRIT BRA 7071, Oldenburg University, Germany
Publication status	Published - 1993

Access to Document

http://www2.imm.dtu.dk/pubdb/p.php?1883

OpenUrl availability

Full text

Cite this

@book{1db70bf6c0a244afb8efd9a8695c3541,

title = "A Duration Semantics for Real-Time Reactive Systems",

author = "Hansen, {Michael Reichhardt} and E.-R. Olderog and M. Schenke and Martin Fr{\"a}nzle and Karger, {B. von} and M. M{\"u}ller-Olm and Hans Rischel",

year = "1993",

language = "English",

publisher = "Report no. OLD MRH 1/1, ProCoS ESPRIT BRA 7071, Oldenburg University, Germany",

}

TY - RPRT

T1 - A Duration Semantics for Real-Time Reactive Systems

AU - Hansen, Michael Reichhardt

AU - Olderog, E.-R.

AU - Schenke, M.

AU - Fränzle, Martin

AU - Karger, B. von

AU - Müller-Olm, M.

AU - Rischel, Hans

PY - 1993

Y1 - 1993

M3 - Report

BT - A Duration Semantics for Real-Time Reactive Systems

PB - Report no. OLD MRH 1/1, ProCoS ESPRIT BRA 7071, Oldenburg University, Germany

ER -