Amy P. Felty, Douglas J. Howe, Frank A. Stomp. Protocol Verification in Nuprl. In Alan J. Hu, Moshe Y. Vardi, editors, Computer Aided Verification, 10th International Conference, CAV 98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings. Volume 1427 of Lecture Notes in Computer Science, pages 428-439, Springer, 1998.
@inproceedings{FeltyHS98,
title = {Protocol Verification in Nuprl},
author = {Amy P. Felty and Douglas J. Howe and Frank A. Stomp},
year = {1998},
tags = {protocol},
researchr = {https://researchr.org/publication/FeltyHS98},
cites = {0},
citedby = {0},
pages = {428-439},
booktitle = {Computer Aided Verification, 10th International Conference, CAV 98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
editor = {Alan J. Hu and Moshe Y. Vardi},
volume = {1427},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-64608-6},
}