If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Book editing
2001

Third Dutch model checking day, Eindhoven, November 7, 2001 : proceedings

Baeten, J. C. M. (ed.), Bosnacki, D. (ed.), Voeten, J. P. M. (ed.) & Holenderski, L. (ed.), 2001, Eindhoven: Technische Universiteit Eindhoven. 91 p. (Computer science reports; vol. 0114)

Research output: Book/ReportBook editingAcademic

Open Access
File
54 Downloads (Pure)