@inproceedings{DBLP:conf/fmoods/Schneider02,
author = {Steve Schneider},
title = {Verifying Authentication Protocol Implementations},
booktitle = {FMOODS},
year = {2002},
pages = {5-24},
crossref = {DBLP:conf/fmoods/2002},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fmoods/2002,
editor = {Bart Jacobs and
Arend Rensink},
title = {Formal Methods for Open Object-Based Distributed Systems
V, IFIP TC6/WG6.1 Fifth International Conference on Formal
Methods for Open Object-Based Distributed Systems (FMOODS
2002), March 20-22, 2002, Enschede, The Netherlands},
booktitle = {FMOODS},
publisher = {Kluwer},
series = {IFIP Conference Proceedings},
volume = {209},
year = {2002},
isbn = {0-7923-7683-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2002-04-16 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
