Zoekresultaten
Resultaat 1 - 6 (van 6)
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
J.F. Groote | S.F.M. van Vlijmen Modal logic for →m⇋CRL
Non-fictie
Engels | 17 pagina's | Utrecht Research Institute for Philosophy, Utrecht | 1994
Gedrukt boek
J.F. Groote Hiding propositional constants in BDDs
Non-fictie
Engels | 5 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1994
Gedrukt boek
Marc Bezem | J.F. Groote Proving a graph well founded using resolution
Non-fictie
Engels | 11 pagina's | Utrecht University, Department of Philosophy, Utrecht | 1994
Gedrukt boek
J.F. Groote | H.P. Korver A correctness proof of the Bakery protocol in →m⇋CRL
Non-fictie
Engels | 22 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
J.F. Groote | J.W.C. Koorn | S.F.M. van Vlijmen The safety guaranteeing system at station Hoorn-Kersenboogerd
Non-fictie
Engels | 46 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1994
Gedrukt boek