No photo of Hendrik Brinksma

Hendrik Brinksma


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

Research Output 1987 2017


Embedded Systems Roadmap -- Vision on technology for the future of PROGRESS

Mesman, B., Spaanenburg, L., Brinksma, H., Deprettere, E. F., Verhulst, E., Timmer, F., van Gageldonk, H., Eggermont, L. D. J., van Leuken, R., Krol, T. & Hendriksen, W. Mar 2002 Utrecht: Technology Foundation (STW).

Research output: Book/ReportBook


Tools and Algorithms for the Construction and Analysis of Systems

Brinksma, H., Cleaveland, W. R., Margaria, T., Steffen, B. & Larsen, K. G. 1995 Geen adressering: Springer Verlag. 289 p.

Research output: Book/ReportBook


Verifying Sequentially Consistent Memory

Brinksma, H., Davies, J., Gerth, R., Grapf, S., Janssen, W. P. M., Janssen, B., Katz, S., Lowe, G., Poel, M., Pnueli, A., Rump, C. & Zwiers, J. 1994 Eindhoven: Technische Universiteit Eindhoven, Wiskunde & Informatica. 160 p.

Research output: Book/ReportBook


Protocol Test Systems, IV.

Kroon, J., Heijink, R. J. & Brinksma, H. 1992 Amsterdam: North Holland. 310 p.

Research output: Book/ReportBook