@inproceedings{conf/caise/BenerecettiPST02,
	title = {Verification of Payment Protocols via MultiAgent Model Checking.},
	author = {Massimo Benerecetti and Maurizio Panti and Luca Spalazzi and Simone Tacconi},
	booktitle = {CAiSE},
	crossref = {conf/caise/2002},
	editor = {Anne Banks Pidduck and John Mylopoulos and Carson C. Woo and M. Tamer Özsu},
	pages = {311-327},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/caise/caise2002.html#BenerecettiPST02},
	volume = {2348},
	year = {2002},
	biburl = {http://www.bibsonomy.org/bibtex/2563abe8657d12790546a50f21b9a619f/dblp},
	description = {dblp},
	ee = {http://link.springer.de/link/service/series/0558/bibs/2348/23480311.htm}, isbn = {3-540-43738-X}, date = {2002-10-22},
	keywords = {dblp }
}