Amy P. Felty, Douglas J. Howe, Frank A. Stomp
Protocol Verification in Nuprl
CAV, 1998.
@inproceedings{CAV-1998-FeltyHS,
author = "Amy P. Felty and Douglas J. Howe and Frank A. Stomp",
booktitle = "{Proceedings of the 10th International Conference on Computer Aided Verification}",
doi = "10.1007/BFb0028764",
isbn = "3-540-64608-6",
pages = "428--439",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Protocol Verification in Nuprl}",
volume = 1427,
year = 1998,
}
Tags: