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

Research Output 1990 2018

Filter
Book editing
2001
50 Downloads (Pure)

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
Model checking
Computer science
Telecommunication industry
Sequential circuits
Formal methods