Yannick Chevalier, Laurent Vigneron
A Tool for Lazy Verification of Security Protocols
ASE, 2001.
@inproceedings{ASE-2001-ChevalierV, author = "Yannick Chevalier and Laurent Vigneron", booktitle = "{Proceedings of the 16th IEEE International Conference on Automated Software Engineering}", doi = "10.1109/ASE.2001.989832", isbn = "0-7695-1426-X", pages = "373--376", publisher = "{IEEE Computer Society}", title = "{A Tool for Lazy Verification of Security Protocols}", year = 2001, }