Zoekresultaten
Resultaat 1 - 2 (van 2)
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 | F. Monin | Jan Springintveld A computer checked algebraic verification of a distributed summation algorithm
Non-fictie
Engels | 28 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1997
Gedrukt boek