Metodo
International Studies in Phenomenology and Philosophy
Journal | Authors
Searching for mutual exclusion algorithms using bdds
2002
Koichi Takahashi Masami Hagiya
in: Progress in discovery science, Dordrecht : Springer