Klaus D. Heidtmann. Temporal Logic Applied to Reliability Modelling of Fault-Tolerant Systems. In Jan Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings. Volume 571 of Lecture Notes in Computer Science, pages 271-289, Springer, 1992.
@inproceedings{Heidtmann92,
title = {Temporal Logic Applied to Reliability Modelling of Fault-Tolerant Systems},
author = {Klaus D. Heidtmann},
year = {1992},
tags = {logic, reliability},
researchr = {https://researchr.org/publication/Heidtmann92},
cites = {0},
citedby = {0},
pages = {271-289},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings},
editor = {Jan Vytopil},
volume = {571},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-55092-5},
}