BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-223227, author = {John, Annu and Konnov, Igor and Schmid, Ulrich and Veith, Helmut and Widder, Josef}, title = {Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction}, booktitle = {PODC}, year = {2013}, pages = {119--121}, publisher = {ACM}, isbn = {978-1-4503-2065-8}, doi = {10.1145/2484239.2484285}, note = {talk: ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), Montreal, Kanada; 2013-07-22 -- 2013-07-24} } 1 Datensatz ausgegeben