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, }