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: ScientificPhD Thesis - Research UT, graduation external