Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Klaus D. Heidtmann. Bewertung der Zuverlässigkeit und Leistung fehlertoleranter Systeme mit Hilfe temporaler Logik. Elektronische Informationsverarbeitung und Kybernetik, 29(3):145-165, 1993.
Possibly Related PublicationsThe following publications are possibly variants of this publication: Zuverlässigkeitsanalyse fehlertoleranter Architekturen mit temporaler LogikKlaus D. Heidtmann. it, 35(1):8-17, 1993. [doi]
The following publications are possibly variants of this publication: