TORONTO, ONTARIO, , SPRINGER--VERLAG, BERLIN, GERMANY
Verification of Payment Protocols via Multi-Agent Model Checking / M., B., M., P., Spalazzi, L., S., T.. - (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.
