Igor V. Konnov, Helmut Veith, Josef Widder. What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms. In Manuel Mazzara, Andrei Voronkov, editors, Perspectives of System Informatics - 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers. Volume 9609 of Lecture Notes in Computer Science, pages 6-21, Springer, 2015. [doi]
@inproceedings{KonnovVW15-0, title = {What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms}, author = {Igor V. Konnov and Helmut Veith and Josef Widder}, year = {2015}, doi = {10.1007/978-3-319-41579-6_2}, url = {http://dx.doi.org/10.1007/978-3-319-41579-6_2}, researchr = {https://researchr.org/publication/KonnovVW15-0}, cites = {0}, citedby = {0}, pages = {6-21}, booktitle = {Perspectives of System Informatics - 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers}, editor = {Manuel Mazzara and Andrei Voronkov}, volume = {9609}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-41578-9}, }