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

2017
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
9783319522333
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11566/247855
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 6
  • ???jsp.display-item.citation.isi??? 3
social impact