Formal specification and analysis of industrial systems / Victor Bos en Jeroen Johannes Theodorus Kleijn
mainEntity
Formal specification and analysis of industrial systems / Victor Bos en Jeroen Johannes Theodorus Kleijn
about
author
contributor
description
Proefschrift Technische Universiteit Eindhoven
inLanguage
isPartOf
isbn
9038627432
mainEntityOfPage
name
Formal specification and analysis of industrial systems
numberOfPages
publication
sameAs
label
Formal specification and analy ...... roen Johannes Theodorus Kleijn