Title: Grundstrukturen in fehlertoleranten Systemen und ihre formale Darstellung
Subjects: Fault-tolerant computing