Talks and Poster Presentations (with Proceedings-Entry):
M. Lazić, I. Konnov, J. Widder, R. Bloem:
"Synthesis of Distributed Algorithms with Parameterized Threshold Guards";
Talk: International Conference On Principles Of Distributed Systems (OPODIS),
Lissabon;
2017-12-18
- 2017-12-20; in: "OPODIS",
LIPIcs-Leibniz International Proceedings in Informatics,
(2017),
32:1
- 32:20.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.4230/LIPIcs.OPODIS.2017.32
Electronic version of the publication:
http://drops.dagstuhl.de/opus/volltexte/2018/8635/pdf/LIPIcs-OPODIS-2017-32.pdf
Related Projects:
Project Head Igor Konnov:
Abstraction-based Parameterized TLA Checker
Project Head Josef Widder:
Parametrized Verification of Fault-tolerant Distributed Algorithms
Created from the Publication Database of the Vienna University of Technology.