Kåre J. Kristoffersen, François Laroussinie, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi 0001
A Compositional Proof of a Real-Time Mutual Exclusion Protocol
TAPSOFT, 1997.
@inproceedings{TAPSOFT-1997-KristoffersenLLPY,
author = "Kåre J. Kristoffersen and François Laroussinie and Kim Guldstrand Larsen and Paul Pettersson and Wang Yi 0001",
booktitle = "{Proceedings of the Seventh International Joint Conference on Theory and Practice of Software Development}",
doi = "10.1007/BFb0030626",
isbn = "3-540-62781-2",
pages = "565--579",
publisher = "{Springer}",
title = "{A Compositional Proof of a Real-Time Mutual Exclusion Protocol}",
year = 1997,
}