Koichi Takahashi, Masami Hagiya. Searching for Mutual Exclusion Algorithms Using BDDs. In Setsuo Arikawa, Ayumi Shinohara, editors, Progress in Discovery Science, Final Report of the Japanese Discovery Science Project. Volume 2281 of Lecture Notes in Computer Science, pages 1-18, Springer, 2002. [doi]
@inproceedings{TakahashiH02,
title = {Searching for Mutual Exclusion Algorithms Using BDDs},
author = {Koichi Takahashi and Masami Hagiya},
year = {2002},
url = {http://link.springer.de/link/service/series/0558/bibs/2281/22810001.htm},
researchr = {https://researchr.org/publication/TakahashiH02},
cites = {0},
citedby = {0},
pages = {1-18},
booktitle = {Progress in Discovery Science, Final Report of the Japanese Discovery Science Project},
editor = {Setsuo Arikawa and Ayumi Shinohara},
volume = {2281},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43338-4},
}