No photo of Hendrik Brinksma

Hendrik Brinksma

prof.dr.

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

Research Output 1987 2017

Filter
Book editing
2002

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002: Proceedings

Brinksma, E. (ed.) & Larsen, K. G. (ed.) 2002 Berlin: Springer. 626 p. (Lecture Notes in Computer Science; vol. 2404)

Research output: Book/ReportBook editing

Open Access
File
2001
File
File