Accuracy of message counting abstraction in fault-tolerant distributed algorithms / Konnov, Igor; Widder, Josef; Spegni, Francesco; Spalazzi, Luca. - STAMPA. - 10145:(2017), pp. 347-366. (Intervento presentato al convegno 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017 tenutosi a Paris, France nel 15 January 2017 through 17 January 2017) [10.1007/978-3-319-52234-0_19].
Accuracy of message counting abstraction in fault-tolerant distributed algorithms
SPEGNI, FRANCESCO;SPALAZZI, Luca
2017-01-01
File 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.