%0 Journal Article %1 journals/taas/FaghihB15 %A Faghih, Fathiyeh %A Bonakdarpour, Borzoo %D 2015 %J TAAS %K dblp %N 3 %P 21:1-21:26 %T SMT-Based Synthesis of Distributed Self-Stabilizing Systems. %U http://dblp.uni-trier.de/db/journals/taas/taas10.html#FaghihB15 %V 10

@article{journals/taas/FaghihB15, added-at = {2018-11-06T00:00:00.000+0100}, author = {Faghih, Fathiyeh and Bonakdarpour, Borzoo}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2bb7076f98cc4c5188cad216c13ff1c2a/dblp}, ee = {https://doi.org/10.1145/2767133}, interhash = {fcde6fd865d0f8ba0a152c928f189d6c}, intrahash = {bb7076f98cc4c5188cad216c13ff1c2a}, journal = {TAAS}, keywords = {dblp}, number = 3, pages = {21:1-21:26}, timestamp = {2019-09-27T08:35:37.000+0200}, title = {SMT-Based Synthesis of Distributed Self-Stabilizing Systems.}, url = {http://dblp.uni-trier.de/db/journals/taas/taas10.html#FaghihB15}, volume = 10, year = 2015 }