%0 Conference Paper %1 conf/icpads/DhamaOT06 %A Dhama, Abhishek %A Oehlerking, Jens %A Theel, Oliver E. %B ICPADS (1) %D 2006 %I IEEE Computer Society %K dblp %P 23-30 %T Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps. %U http://dblp.uni-trier.de/db/conf/icpads/icpads2006-1.html#DhamaOT06 %@ 0-7695-2612-8

@inproceedings{conf/icpads/DhamaOT06, added-at = {2015-05-04T00:00:00.000+0200}, author = {Dhama, Abhishek and Oehlerking, Jens and Theel, Oliver E.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28dbe357e35c775f712d2fb430d7e5a53/dblp}, booktitle = {ICPADS (1)}, crossref = {conf/icpads/2006}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICPADS.2006.108}, interhash = {e3d7fecf6d489d815d546d59dd12a750}, intrahash = {8dbe357e35c775f712d2fb430d7e5a53}, isbn = {0-7695-2612-8}, keywords = {dblp}, pages = {23-30}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T15:22:39.000+0100}, title = {Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps.}, url = {http://dblp.uni-trier.de/db/conf/icpads/icpads2006-1.html#DhamaOT06}, year = 2006 }