@inproceedings{Bar_David_2003,
    doi = {10.1145/872035.872080},
    url = {https://doi.org/10.1145%2F872035.872080},
    year = {2003},
    month = {jul},
    publisher = {{ACM}},
    author = {Yoah Bar-David and Gadi Taubenfeld},
    title = {Automatic discovery of mutual exclusion algorithms},
    booktitle = {Proceedings of the twenty-second annual symposium on Principles of distributed computing}
}

@inproceedings{Bar_David_2003, doi = {10.1145/872035.872080}, url = {https://doi.org/10.1145%2F872035.872080}, year = {2003}, month = {jul}, publisher = {{ACM}}, author = {Yoah Bar-David and Gadi Taubenfeld}, title = {Automatic discovery of mutual exclusion algorithms}, booktitle = {Proceedings of the twenty-second annual symposium on Principles of distributed computing} }