%0 Conference Paper %1 conf/gecco/ZhuK15 %A Zhu, Ling %A Kulkarni, Sandeep S. %B GECCO %D 2015 %E Silva, Sara %E Esparcia-Alcázar, Anna Isabel %I ACM %K dblp %P 1119-1126 %T Using Model Checking Techniques For Evaluating the Effectiveness of Evolutionary Computing in Synthesis of Distributed Fault-Tolerant Programs. %U http://dblp.uni-trier.de/db/conf/gecco/gecco2015.html#ZhuK15 %@ 978-1-4503-3472-3

@inproceedings{conf/gecco/ZhuK15, added-at = {2020-09-02T00:00:00.000+0200}, author = {Zhu, Ling and Kulkarni, Sandeep S.}, biburl = {https://www.bibsonomy.org/bibtex/29b49b39ec0ccd0c0d6b3a19c127dfa5e/dblp}, booktitle = {GECCO}, crossref = {conf/gecco/2015}, editor = {Silva, Sara and Esparcia-Alcázar, Anna Isabel}, ee = {https://doi.org/10.1145/2739480.2754779}, interhash = {cce255d8cf00324448d53529d5ac3032}, intrahash = {9b49b39ec0ccd0c0d6b3a19c127dfa5e}, isbn = {978-1-4503-3472-3}, keywords = {dblp}, pages = {1119-1126}, publisher = {ACM}, timestamp = {2020-09-09T15:12:28.000+0200}, title = {Using Model Checking Techniques For Evaluating the Effectiveness of Evolutionary Computing in Synthesis of Distributed Fault-Tolerant Programs.}, url = {http://dblp.uni-trier.de/db/conf/gecco/gecco2015.html#ZhuK15}, year = 2015 }