Newsletter of Phenomenology

Keeping phenomenologists informed since May 2002

122951

References

Masami Hagiya

Searching for mutual exclusion algorithms using bdds

2002

with Takahashi Koichi

in: Progress in discovery science, Dordrecht : Springer

Open Access Link