%0 Conference Paper %1 conf/sss/KlinkhamerE14 %A Klinkhamer, Alex P. %A Ebnenasir, Ali %B SSS %D 2014 %E Felber, Pascal %E Garg, Vijay K. %I Springer %K dblp %P 252-267 %T Synthesizing Self-stabilization through Superposition and Backtracking. %U http://dblp.uni-trier.de/db/conf/sss/sss2014.html#KlinkhamerE14 %V 8756 %@ 978-3-319-11763-8

@inproceedings{conf/sss/KlinkhamerE14, added-at = {2021-03-25T00:00:00.000+0100}, author = {Klinkhamer, Alex P. and Ebnenasir, Ali}, biburl = {https://www.bibsonomy.org/bibtex/2c62de70d84b9ad099a0d8e0822b06880/dblp}, booktitle = {SSS}, crossref = {conf/sss/2014}, editor = {Felber, Pascal and Garg, Vijay K.}, ee = {https://doi.org/10.1007/978-3-319-11764-5_18}, interhash = {227ff1d4f2fa7a06629c9448fc9e9e11}, intrahash = {c62de70d84b9ad099a0d8e0822b06880}, isbn = {978-3-319-11763-8}, keywords = {dblp}, pages = {252-267}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T14:03:05.000+0200}, title = {Synthesizing Self-stabilization through Superposition and Backtracking.}, url = {http://dblp.uni-trier.de/db/conf/sss/sss2014.html#KlinkhamerE14}, volume = 8756, year = 2014 }