A compositional semantics for fault-tolerant real-time systems

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

Research output: Book/ReportReportAcademic

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

Publication series

NameComputing science notes
Volume9202

Cite this