Zoekresultaten
Resultaat 1 - 3 (van 3)
J.F. Groote | J.C. van de Pol A bounded retransmission protocol for large data packets
Non-fictie
Engels | 16 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1993
Gedrukt boek
Marc Bezem | J.F. Groote A correctness proof of a one-bit sliding window protocol in →m⇋CRL
Non-fictie
Engels | 23 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1993
Gedrukt boek
Marc Bezem | J.F. Groote A formal verification of the alternating bit protocol in the calculus of constructions
Non-fictie
Engels | 26 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1993
Gedrukt boek