A compositional semantics for fault-tolerant real-time systems

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
Original languageEnglish
Title of host publicationFormal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 2nd International Symposium, Nijmegen, The Netherlands, January 8-10, 1992)
EditorsJ. Vytopil
Place of PublicationBerlin
PublisherSpringer
Pages33-51
ISBN (Print)3-540-55092-5
DOIs
Publication statusPublished - 1992

Publication series

NameLecture Notes in Computer Science
Volume571
ISSN (Print)0302-9743

Cite this

Coenen, J. A. A., & Hooman, J. J. M. (1992). A compositional semantics for fault-tolerant real-time systems. In J. Vytopil (Ed.), Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 2nd International Symposium, Nijmegen, The Netherlands, January 8-10, 1992) (pp. 33-51). (Lecture Notes in Computer Science; Vol. 571). Berlin: Springer. https://doi.org/10.1007/3-540-55092-5_3