Netzwerk Phänomenologische Metaphysik
122950

References

Koichi Takahashi

Searching for mutual exclusion algorithms using bdds

2002

with Hagiya Masami

in: Progress in discovery science, Dordrecht : Springer

Open Access Link