BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @book{TUW-180035, author = {Charron-Bost, Bernadette and Dolev, Shlomi and Ebergen, Jo and Schmid, Ulrich}, title = {Fault-Tolerant Distributed Algorithms on VLSI Chips}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany}, year = {2009}, series = {Dagstuhl Seminar Proceedings}, editor = {Charron-Bost, Bernadette and Dolev, Shlomi and Schmid, Ulrich}, organization = {Leibniz Zentrum Informatik}, issn = {1862-4405}, keywords = {Fault-tolerant distributed algorithms, System-level fault tolerance, VLSI systems-on-chip, Digital logic Formal specification} } 1 Datensatz ausgegeben