BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-252733, author = {Konnov, Igor and Veith, Helmut and Widder, Josef}, title = {What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms}, booktitle = {Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015}, year = {2016}, pages = {6--21}, publisher = {LNCS / Springer}, address = {9609}, url = {http://link.springer.com/chapter/10.1007%2F978-3-319-41579-6_2}, doi = {10.1007/978-3-319-41579-6{\_}2}, note = {invited; talk: Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, Kazan, Russland; 2015-08-25 -- 2015-08-27} } 1 Datensatz ausgegeben