Borzoo Bonakdarpour, Sandeep S. Kulkarni. Automated model repair for distributed programs. SIGACT News, 43(2):85-107, 2012. [doi]
@article{BonakdarpourK12, title = {Automated model repair for distributed programs}, author = {Borzoo Bonakdarpour and Sandeep S. Kulkarni}, year = {2012}, doi = {10.1145/2261417.2261437}, url = {http://doi.acm.org/10.1145/2261417.2261437}, researchr = {https://researchr.org/publication/BonakdarpourK12}, cites = {0}, citedby = {0}, journal = {SIGACT News}, volume = {43}, number = {2}, pages = {85-107}, }