Searching for mutual exclusion algorithms using bdds

2002

Koichi Takahashi, Masami Hagiya

in: Progress in discovery science, Berlin,