Bruno Dutertre. Formal Analysis of the Priority Ceiling Protocol. In Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), Orlando, Florida, USA, 27-30 November 2000. pages 151, IEEE Computer Society, 2000. [doi]
@inproceedings{Dutertre00,
title = {Formal Analysis of the Priority Ceiling Protocol},
author = {Bruno Dutertre},
year = {2000},
doi = {10.1109/REAL.2000.896005},
url = {http://doi.ieeecomputersociety.org/10.1109/REAL.2000.896005},
tags = {protocol, analysis},
researchr = {https://researchr.org/publication/Dutertre00},
cites = {0},
citedby = {0},
pages = {151},
booktitle = {Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), Orlando, Florida, USA, 27-30 November 2000},
publisher = {IEEE Computer Society},
isbn = {0-7695-0900-2},
}