BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@article{TUW-229085,
    author = {Dolev, Danny and F{\"u}gger, Matthias and Posch, Markus and Schmid, Ulrich and Steininger, Andreas and Lenzen, Christoph},
    title = {Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip},
    journal = {Journal of Computer and System Sciences},
    year = {2014},
    volume = {80},
    number = {4},
    pages = {860--900},
    url = {http://publik.tuwien.ac.at/files/PubDat_229085.pdf},
    doi = {10.1016/j.jcss.2014.01.001}
}


1 Datensatz ausgegeben