@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}
}