TORONTO, ONTARIO, , SPRINGER--VERLAG, BERLIN, GERMANY
Verification of Payment Protocols via Multi-Agent Model Checking / M., Benerecetti; M., Panti; Spalazzi, Luca; S., Tacconi. - (2002).
Verification of Payment Protocols via Multi-Agent Model Checking
SPALAZZI, Luca;
2002-01-01
Abstract
TORONTO, ONTARIO, , SPRINGER--VERLAG, BERLIN, GERMANYFile in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
