Luca de Alfaro. Temporal Logics for the Specification of Performance and Reliability. In Rüdiger Reischuk, Michel Morvan, editors, STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997, Proceedings. Volume 1200 of Lecture Notes in Computer Science, pages 165-176, Springer, 1997.
@inproceedings{Alfaro97,
title = {Temporal Logics for the Specification of Performance and Reliability},
author = {Luca de Alfaro},
year = {1997},
tags = {logic, reliability},
researchr = {https://researchr.org/publication/Alfaro97},
cites = {0},
citedby = {0},
pages = {165-176},
booktitle = {STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997, Proceedings},
editor = {Rüdiger Reischuk and Michel Morvan},
volume = {1200},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-62616-6},
}