%0 Conference Paper %1 conf/sss/OehlerkingDT05 %A Oehlerking, Jens %A Dhama, Abhishek %A Theel, Oliver E. %B Self-Stabilizing Systems %D 2005 %E Herman, Ted %E Tixeuil, Sébastien %I Springer %K dblp %P 198-213 %T Towards Automatic Convergence Verification of Self-stabilizing Algorithms. %U http://dblp.uni-trier.de/db/conf/sss/sss2005.html#OehlerkingDT05 %V 3764 %@ 3-540-29814-2

@inproceedings{conf/sss/OehlerkingDT05, added-at = {2017-05-25T00:00:00.000+0200}, author = {Oehlerking, Jens and Dhama, Abhishek and Theel, Oliver E.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23bb42c3df832bc283952fb7c66ffdf67/dblp}, booktitle = {Self-Stabilizing Systems}, crossref = {conf/sss/2005}, editor = {Herman, Ted and Tixeuil, Sébastien}, ee = {https://doi.org/10.1007/11577327_14}, interhash = {30f454e284c0ba81d1e8d97abcc4496e}, intrahash = {3bb42c3df832bc283952fb7c66ffdf67}, isbn = {3-540-29814-2}, keywords = {dblp}, pages = {198-213}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:57:15.000+0200}, title = {Towards Automatic Convergence Verification of Self-stabilizing Algorithms.}, url = {http://dblp.uni-trier.de/db/conf/sss/sss2005.html#OehlerkingDT05}, volume = 3764, year = 2005 }