Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip

Danny Dolev, Matthias Függer, Markus Posch, Ulrich Schmid, Andreas Steininger, Christoph Lenzen. Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip. J. Comput. Syst. Sci., 80(4):860-900, 2014. [doi]

Authors

Danny Dolev

This author has not been identified. Look up 'Danny Dolev' in Google

Matthias Függer

This author has not been identified. Look up 'Matthias Függer' in Google

Markus Posch

This author has not been identified. Look up 'Markus Posch' in Google

Ulrich Schmid

This author has not been identified. Look up 'Ulrich Schmid' in Google

Andreas Steininger

This author has not been identified. Look up 'Andreas Steininger' in Google

Christoph Lenzen

This author has not been identified. Look up 'Christoph Lenzen' in Google