Trace-based compositional reasoning about fault tolerant systems

H. Schepers, J.J.M. Hooman

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

5 Citations (Scopus)
Original languageEnglish
Title of host publicationPARLE'93: Parallel Architectures and Languages Europe (München, Germany, June 14-17, 1993)
EditorsA. Bode, M. Reeve, G. Wolf
Place of PublicationBerlin
PublisherSpringer
Pages197-208
ISBN (Print)3-540-56891-3
DOIs
Publication statusPublished - 1993

Publication series

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

Cite this