TU Darmstadt / ULB / TUbiblio

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

Theel, Oliver (2000):
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, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2000
Creators: Theel, Oliver
Title: Verification of Dijkstra's self stabilizing token ring algorithm by means of non-linear control system analysis
Language: English
Series Name: 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
Divisions: 20 Department of Computer Science
Date Deposited: 19 Nov 2008 16:25
Additional Information:

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

License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item