No photo of Hendrik Brinksma

Hendrik Brinksma

prof.dr.

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

Activities 1991 1999

  • 5 Oral presentation

Het Milleniumprobleem

Hendrik Brinksma (Invited speaker)
1 Dec 1999

Activity: Talk or presentationOral presentation

On the Formal Validation of a Storm Surge Barrier

Hendrik Brinksma (Invited speaker)
4 May 1997

Activity: Talk or presentationOral presentation

Trial or Trade?

Hendrik Brinksma (Invited speaker)
21 Mar 1996

Activity: Talk or presentationOral presentation

Algorithm for the decomposition of processes in a process algebraic framework

Hendrik Brinksma (Speaker), Rom Langerak (Speaker)
27 Jun 1994

Activity: Talk or presentationOral presentation

A formal approach to testing concurrent systems

Hendrik Brinksma (Speaker)
20 Feb 1991

Activity: Talk or presentationOral presentation