Published in: Dagstuhl Reports, Volume 3, Issue 4 (2013)
Bernadette Charron-Bost, Stephan Merz, Andrey Rybalchenko, and Josef Widder. Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141). In Dagstuhl Reports, Volume 3, Issue 4, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Article{charronbost_et_al:DagRep.3.4.1, author = {Charron-Bost, Bernadette and Merz, Stephan and Rybalchenko, Andrey and Widder, Josef}, title = {{Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141)}}, pages = {1--16}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2013}, volume = {3}, number = {4}, editor = {Charron-Bost, Bernadette and Merz, Stephan and Rybalchenko, Andrey and Widder, Josef}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4.1}, URN = {urn:nbn:de:0030-drops-40747}, doi = {10.4230/DagRep.3.4.1}, annote = {Keywords: Distributed algorithms; semi-automated proofs; model checking} }
Feedback for Dagstuhl Publishing