@inproceedings{conf/dagstuhl/HunterD07,
title = {Belief Change and Cryptographic Protocol Verification.},
author = {Aaron Hunter and James P. Delgrande},
booktitle = {Formal Models of Belief Change in Rational Agents},
crossref = {conf/dagstuhl/2007P7351},
editor = {Giacomo Bonanno and James P. Delgrande and Jérôme Lang and Hans Rott},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
series = {Dagstuhl Seminar Proceedings},
url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P7351.html#HunterD07},
volume = {07351},
year = {2007},
description = {dblp},
date = {2008-05-14}, ee = {http://drops.dagstuhl.de/opus/volltexte/2007/1206},
keywords = {dblp }
}