Zoekresultaten
Resultaat 1 - 19 (van 19)
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 Towards a formal mathematical vernacular
Non-fictie
Engels | 26 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1992
Gedrukt boek
H. Zantema | J.F. Groote Transforming equality logic to propositional logic
Non-fictie
Engels | 13 pagina's | Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven | 2003
Gedrukt boek
J.F. Groote The syntax and semantics of timed →m⇋CRL
Non-fictie
Engels | 42 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1997
Gedrukt boek
J.F. Groote | Hans van Maaren Equivalence of the concave optimisation method and d'Agostino's tableaux for propositional logic
Non-fictie
Engels | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1995
Gedrukt boek
J.F. Groote | Jan Springintveld Focus points and convergent process operators
Non-fictie
Engels | 34 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
J.F. Groote | M.P.A. Sellink Confluence for process verification
Non-fictie
Engels | 37 pagina's | Utrecht University, Department of Philosophy, Utrecht | 1995
Gedrukt boek
D. Dams | J.F. Groote Specification and implementation of components of a →m⇋CRL toolbox
Non-fictie
Engels | 75 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
Hans van Maaren | J.F. Groote | Michiel Rozema Verification of propositional formulae by means of convex and concave transforms
Non-fictie
Engels | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1995
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 | A. Ponse The syntax and semantics of →m⇋CRL
Non-fictie
Engels | 35 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
J.F. Groote | R. Mateescu Verification of temporal properties of processes in a setting with data
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1998
Gedrukt boek
J.F. Groote Binary decision diagrams for first order predicate logic
Non-fictie
Engels | 23 pagina's | Utrecht University, Department of Philosophy, Utrecht | 1995
Gedrukt boek
Marc Bezem | R.N. Bol | J.F. Groote Formalizing process algebraic verifications in the calculus of constructions
Non-fictie
Engels | 49 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1995
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
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
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 | 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
J.F. Groote | F. Monin | J.C. van de Pol Checking verifications of protocols and distributed systems by computer
extended version of a tutorial at CONCUR '98
Non-fictie
Engels | 28 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1998
Gedrukt boek