Verification of Payment Protocols via MultiAgent Model Checking.

Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi

Browse the full CaiSE paper archive.