KIT | KIT-Bibliothek | Impressum | Datenschutz

A simplified proof for a self-stabilizing protocol: a game of cards

Desel, Jörg; Kindler, E.; Vesper, T.; Walter, R.



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 1995
Sprache Englisch
Identifikator KITopen-ID: 243995
Erscheinungsvermerk Inform. process. let. 54 (1995) S. 327-328.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page