Metodo

International Studies in Phenomenology and Philosophy

Journal | Authors

122950

Koichi Takahashi

Searching for mutual exclusion algorithms using bdds

2002

Koichi Takahashi Masami Hagiya

in: Progress in discovery science, Dordrecht : Springer

Open Access Link