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

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

Seitenaufrufe: 24
seit 19.09.2018

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.