DSpace at RU >

Search Results

Results 1-4 of 4.

Item hits:

Full Text	Issue Date	Title	Author(s)
	2008	Practical automaton proofs in PVS	Groot, Adriaan de
	2006	Analysis of a Biphase Mark Protocol with Uppaal and PVS	Vaandrager, F.W.; Groot, A.L. de
	2006	CodeYard: ict-onderwijs in de spirit van Open Source	Eekelen, Marko van; Geelen, Piet; Groot, Adriaan de; Kögler, Sebastian; Metzlar, Donna; Stein, Jasper
	2004	Analysis of a Biphase Mark Protocol with Uppaal and PVS	Vaandrager, F.W.; Groot, A.L. de

1