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

Conference contribution

A formal approach to testing distibuted systems (abstract)

Brinksma, H., 3 Oct 1990, 2nd Nordic workshop on Program Correctness. Aalborg, Denemarken, p. - 1 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review