![]() | ![]() |
| 2003 | ||
|---|---|---|
| 2 | Yoah Bar-David, Gadi Taubenfeld: Automatic Discovery of Mutual Exclusion Algorithms. DISC 2003: 136-150 | |
| 1 | Yoah Bar-David, Gadi Taubenfeld: Automatic discovery of mutual exclusion algorithms. PODC 2003: 305 | |
| 1 | Gadi Taubenfeld | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page