Yoah Bar-David, Gadi Taubenfeld. Automatic Discovery of Mutual Exclusion Algorithms. In Faith Ellen Fich, editor, Distributed Computing, 17th International Conference, DISC 2003, Sorrento, Italy, October 1-3, 2003, Proceedings. Volume 2848 of Lecture Notes in Computer Science, pages 136-150, Springer, 2003. [doi]
Abstract is missing.