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
162 Downloads (Pure)

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 editingAcademic

Open Access
File
2001
50 Downloads (Pure)

Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Brinksma, H. (ed.), Hermanns, H. (ed.) & Katoen, J. P. (ed.), Aug 2001, Berlin: Springer. 430 p. (Lecture Notes in Computer Science; vol. 2090)

Research output: Book/ReportBook editingAcademic

File
9 Downloads (Pure)

Proceedings of the Workshop on Formal Approaches to Testing of Software, FATES'01, Aalborg, Denmark, August 25, 2001

Brinksma, H. (ed.) & Tretmans, G. J. (ed.), 25 Aug 2001, Arhus, Denmark: BRICS, University of Aarhus. 156 p.

Research output: Book/ReportBook editingAcademic

File