Zoekresultaten
Resultaat 1 - 1 (van 1)
J.F. Groote | H.P. Korver A correctness proof of the Bakery protocol in →m⇋CRL
Non-fictie
Nederlands | 31 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1992
Gedrukt boek
Resultaat 1 - 1 (van 1)
Non-fictie
Nederlands | 31 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1992
Gedrukt boek