Igor V. Konnov 0001, Marijana Lazic, Helmut Veith, Josef Widder
A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms
POPL, 2017.
@inproceedings{POPL-2017-KonnovLVW,
author = "Igor V. Konnov 0001 and Marijana Lazic and Helmut Veith and Josef Widder",
booktitle = "{Proceedings of the 44th Symposium on Principles of Programming Languages}",
isbn = "978-1-4503-4660-3",
pages = "719--734",
publisher = "{ACM}",
title = "{A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms}",
year = 2017,
}