Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
Book title Buchtitel
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
Publisher Herausgeber
ACM
Place of publishing Erscheinungsort
Paris
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef | A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms | Konferenzbeitrag Inproceedings  | 2017 |