TU Darmstadt / ULB / TUbiblio

Verification of Dijkstra's self stabilizing token ring algorithm by means of non-linear control system analysis

Theel, Oliver :
Verification of Dijkstra's self stabilizing token ring algorithm by means of non-linear control system analysis.
In: International Symposium on Computational Intelligence (CI'00) being part of the International Conference on Intelligent Systems and Applications (ISA'00) <2000, Wollongong, Australia> - Wetaskiwin, Canada: ICSC Acad. Press, 2000. S. 465-472 .
[Konferenz- oder Workshop-Beitrag], (2000)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2000
Autor(en): Theel, Oliver
Titel: Verification of Dijkstra's self stabilizing token ring algorithm by means of non-linear control system analysis
Sprache: Englisch
Reihe: International Symposium on Computational Intelligence (CI'00) being part of the International Conference on Intelligent Systems and Applications (ISA'00) <2000, Wollongong, Australia> - Wetaskiwin, Canada: ICSC Acad. Press, 2000. S. 465-472
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:25
Zusätzliche Informationen:

Ersch. ebenf. als: Technische Universität Darmstadt, FB 20, Inst. für Betriebssysteme: Technical report; TUD-BS-2000-02

Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen