Klaus D. Heidtmann. Bewertung der Zuverlässigkeit und Leistung fehlertoleranter Systeme mit Hilfe temporaler Logik. Elektronische Informationsverarbeitung und Kybernetik, 29(3):145-165, 1993.
No references recorded for this publication.
No citations of this publication recorded.