@inproceedings{FME-1996-HavelundS,
author = "Klaus Havelund and Natarajan Shankar",
booktitle = "{Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in Formal Methods}",
doi = "10.1007/3-540-60973-3_113",
isbn = "3-540-60973-3",
pages = "662--681",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Experiments in Theorem Proving and Model Checking for Protocol Verification}",
volume = 1051,
year = 1996,
}
Tags: