Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
M. Lazić, I. Konnov, J. Widder, R. Bloem:
"Synthesis of Distributed Algorithms with Parameterized Threshold Guards";
Vortrag: International Conference On Principles Of Distributed Systems (OPODIS),
Lissabon;
18.12.2017
- 20.12.2017; in: "OPODIS",
LIPIcs-Leibniz International Proceedings in Informatics,
(2017),
S. 32:1
- 32:20.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.4230/LIPIcs.OPODIS.2017.32
Elektronische Version der Publikation:
http://drops.dagstuhl.de/opus/volltexte/2018/8635/pdf/LIPIcs-OPODIS-2017-32.pdf
Zugeordnete Projekte:
Projektleitung Igor Konnov:
Abstraction-based Parameterized TLA Checker
Projektleitung Josef Widder:
Parametrized Verification of Fault-tolerant Distributed Algorithms
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.