@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@misc{kremer-movep2006,
author = {Kremer, Steve},
howpublished = {Invited tutorial, 7th {S}chool on {M}odelling and
{V}erifying {P}arallel {P}rocesses ({MOVEP}'06),
Bordeaux, France},
month = jun,
note = {5~pages},
title = {Formal Verification of Cryptographic Protocols},
year = {2006},
nmonth = {6},
url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/kremer-movep06.pdf},
}