BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @incollection{TUW-232818, author = {Gmeiner, Annu and Konnov, Igor and Schmid, Ulrich and Veith, Helmut and Widder, Josef}, title = {Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms}, booktitle = {Formal Methods for Executable Software Models}, year = {2014}, pages = {122--171}, publisher = {Springer}, isbn = {978-3-319-07316-3}, doi = {10.1007/978-3-319-07317-0{\_}4}, note = {invited} } 1 Datensatz ausgegeben