Model checking nondeterministic and randomly timed systems / Martin Richard Neuhäußer
mainEntity
Model checking nondeterministic and randomly timed systems / Martin Richard Neuhäußer
about
author
description
Proefschrift Universiteit Twente, Enschede
inLanguage
isbn
9789036529754
mainEntityOfPage
name
Model checking nondeterministic and randomly timed systems
numberOfPages
publication
sameAs
label
Model checking nondeterministic and randomly timed systems / Martin Richard Neuhäußer