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
PhD Thesis - Research UT, graduation external
1999

Analysing Industrial Protocols with Formal Methods

Romijn, J. M. T. & Romijn, J. M. T. 15 Oct 1999 Enschede: Universiteit Twente. 190 p.

Research output: ThesisPhD Thesis - Research UT, graduation external

File