Pawel Gluchowski. Languages of CTL and RTCTL Calculi in Real-Time Analysis of a System Described by a Fault Tree with Time Dependencies. In Fourth International Conference on Dependability of Computer Systems, DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009. pages 33-41, IEEE Computer Society, 2009. [doi]
@inproceedings{Gluchowski09,
title = {Languages of CTL and RTCTL Calculi in Real-Time Analysis of a System Described by a Fault Tree with Time Dependencies},
author = {Pawel Gluchowski},
year = {2009},
doi = {10.1109/DepCoS-RELCOMEX.2009.12},
url = {http://doi.ieeecomputersociety.org/10.1109/DepCoS-RELCOMEX.2009.12},
researchr = {https://researchr.org/publication/Gluchowski09},
cites = {0},
citedby = {0},
pages = {33-41},
booktitle = {Fourth International Conference on Dependability of Computer Systems, DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3674-3},
}