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

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 externalAcademic

File