Krithi Ramamritham, Robert M. Keller
Specifying and Proving Properties of Sentinel Processes
ICSE, 1981.
@inproceedings{ICSE-1981-RamamrithamK,
acmid = "802550",
author = "Krithi Ramamritham and Robert M. Keller",
booktitle = "{Proceedings of the Fifth International Conference on Software Engineering}",
editor = "Seymour Jeffrey and Leon G. Stucki",
isbn = "0-89791-146-6",
pages = "374--386",
publisher = "{IEEE Computer Society}",
title = "{Specifying and Proving Properties of Sentinel Processes}",
year = 1981,
}