Analysing industrial protocols with formal methods / Judi Maria Tirza Romijn
mainEntity
Analysing industrial protocols with formal methods / Judi Maria Tirza Romijn
about
associatedMedia
<http://doc.utwente.nl/17910>
bookFormat
description
Thesis University of Twente, Enschede
inLanguage
isPartOf
mainEntityOfPage
name
Analysing industrial protocols with formal methods
numberOfPages
publication
label
Analysing industrial protocols with formal methods / Judi Maria Tirza Romijn