@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},
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 }
}