Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics : Computer aided verification (International conference)
In: Lecture notes in computer science 11562:245-266; Jg. 11562 (2019) S. 245-266
Konferenz
Zugriff:
Titel: |
Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics : Computer aided verification (International conference)
|
---|---|
Autor/in / Beteiligte Person: | Berkovits, Idan ; Lazić, Marijana ; Losa, Giuliano ; Padon, Oded ; Shoham, Sharon |
Link: | |
Quelle: | Lecture notes in computer science 11562:245-266; Jg. 11562 (2019) S. 245-266 |
Veröffentlichung: | 2019 |
Medientyp: | Konferenz |
ISSN: | 0302-9743 (print) |
Sonstiges: |
|