Zoekresultaten
Resultaat 1 - 2 (van 2)
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 | 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