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)

Created from the Publication Database of the Vienna University of Technology.