@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},
	biburl = {http://www.bibsonomy.org/bibtex/2f2edbecf2414c776e5476747fe22f150/dblp},
	description = {dblp},
	date = {2008-05-14}, ee = {http://drops.dagstuhl.de/opus/volltexte/2007/1206},
	keywords = {dblp }
}