A compositional semantics for fault-tolerant real-time systems

J.A.A. Coenen, J.J.M. Hooman

Research output: Book/ReportReportAcademic

55 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages19
Publication statusPublished - 1992

Publication series

NameComputing science notes
Volume9202

Cite this

Coenen, J. A. A., & Hooman, J. J. M. (1992). A compositional semantics for fault-tolerant real-time systems. (Computing science notes; Vol. 9202). Eindhoven: Technische Universiteit Eindhoven.
Coenen, J.A.A. ; Hooman, J.J.M. / A compositional semantics for fault-tolerant real-time systems. Eindhoven : Technische Universiteit Eindhoven, 1992. 19 p. (Computing science notes).
@book{0195406189544c9584af81807574f345,
title = "A compositional semantics for fault-tolerant real-time systems",
author = "J.A.A. Coenen and J.J.M. Hooman",
year = "1992",
language = "English",
series = "Computing science notes",
publisher = "Technische Universiteit Eindhoven",

}

Coenen, JAA & Hooman, JJM 1992, A compositional semantics for fault-tolerant real-time systems. Computing science notes, vol. 9202, Technische Universiteit Eindhoven, Eindhoven.

A compositional semantics for fault-tolerant real-time systems. / Coenen, J.A.A.; Hooman, J.J.M.

Eindhoven : Technische Universiteit Eindhoven, 1992. 19 p. (Computing science notes; Vol. 9202).

Research output: Book/ReportReportAcademic

TY - BOOK

T1 - A compositional semantics for fault-tolerant real-time systems

AU - Coenen, J.A.A.

AU - Hooman, J.J.M.

PY - 1992

Y1 - 1992

M3 - Report

T3 - Computing science notes

BT - A compositional semantics for fault-tolerant real-time systems

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -

Coenen JAA, Hooman JJM. A compositional semantics for fault-tolerant real-time systems. Eindhoven: Technische Universiteit Eindhoven, 1992. 19 p. (Computing science notes).