Searching for Mutual Exclusion Algorithms Using BDDs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Koichi Takahashi' in GoogleThis author has not been identified. Look up 'Masami Hagiya' in Google

runs on WebDSL