A compositional semantics for fault-tolerant real-time systems

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)
Originele taal-2Engels
TitelFormal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 2nd International Symposium, Nijmegen, The Netherlands, January 8-10, 1992)
RedacteurenJ. Vytopil
Plaats van productieBerlin
UitgeverijSpringer
Pagina's33-51
ISBN van geprinte versie3-540-55092-5
DOI's
StatusGepubliceerd - 1992

Publicatie series

NaamLecture Notes in Computer Science
Volume571
ISSN van geprinte versie0302-9743

Citeer dit