Books and Book Editorships:
B. Charron-Bost, A. Rybalchenko, S. Merz, J. Widder:
"Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141)";
in series "Dagstuhl Reports",
series editor: Schloss Dagstuhl;
issued by: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik;
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany,
Dagstuhl, Deutschland,
2013,
ISSN: 2192-5283,
16 pages.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.4230/DagRep.3.4.1
Created from the Publication Database of the Vienna University of Technology.