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)

Electronic version of the publication:

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.