TU Darmstadt / ULB / TUbiblio

A new verification technique for self-stabilizing distributed algorithms based on variable structure systems and Ljapuov theory

Theel, Oliver (2001)
A new verification technique for self-stabilizing distributed algorithms based on variable structure systems and Ljapuov theory.
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2001
Autor(en): Theel, Oliver
Art des Eintrags: Bibliographie
Titel: A new verification technique for self-stabilizing distributed algorithms based on variable structure systems and Ljapuov theory
Sprache: Englisch
Publikationsjahr: 2001
Ort: Los Alamitos, Calif.
Verlag: IEEE
Reihe: HICSS-34: Hawaiian International Conference on System Sciences <34, 2001, Maui, HI>; Proceedings. - Los Alamitos, Calif.: IEEE, 2001
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:22
Letzte Änderung: 05 Mär 2013 08:44
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen