@book{charronbost:hal-00904805, TITLE = {{Formal Verification of Distributed Algorithms}}, AUTHOR = {Charron-Bost, Bernadette and Merz, Stephan and Rybalchenko, Andrey and Widder, Josef}, URL = {https://inria.hal.science/hal-00904805}, EDITOR = {Bernadette Charron-Bost and Stephan Merz and Andrey Rybalchenko and Josef Widder}, PUBLISHER = {{Dagstuhl}}, SERIES = {Dagstuhl Reports}, VOLUME = {3}, PAGES = {16}, YEAR = {2013}, MONTH = Jun, DOI = {10.4230/DagRep.3.4.1}, HAL_ID = {hal-00904805}, HAL_VERSION = {v1}, }