Yoah Bar-David, Gadi Taubenfeld. Automatic discovery of mutual exclusion algorithms. In PODC. pages 305, 2003. [doi]
@inproceedings{Bar-DavidT03,
title = {Automatic discovery of mutual exclusion algorithms},
author = {Yoah Bar-David and Gadi Taubenfeld},
year = {2003},
doi = {10.1145/872035.872080},
url = {http://doi.acm.org/10.1145/872035.872080},
tags = {discovery},
researchr = {https://researchr.org/publication/Bar-DavidT03},
cites = {0},
citedby = {0},
pages = {305},
booktitle = {PODC},
}