Model checking nondeterministic and randomly timed systems / Martin Richard Neuhäußer - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

Model checking nondeterministic and randomly timed systems / Martin Richard Neuhäußer

Model checking nondeterministic and randomly timed systems / Martin Richard Neuhäußer

http://data.bibliotheken.nl/id/nbt/p324096089

Model checking nondeterministic and randomly timed systems / Martin Richard Neuhäußer

hasDerivative

66745f89613603201d130b6081c14422

mainEntity

Model checking nondeterministic and randomly timed systems / Martin Richard Neuhäußer

http://data.bibliotheken.nl/id/nbt/p324096089

associatedMedia

<http://dx.doi.org/10.3990/1.9789036529754>

http://www.w3.org/2001/XMLSchema#string

author

bookFormat

description

Proefschrift Universiteit Twente, Enschede

http://www.w3.org/2001/XMLSchema#string

inLanguage

en

http://www.w3.org/2001/XMLSchema#string

isBasedOn

Model checking nondeterministic and randomly timed systems / Martin Richard Neuhäußer

isPartOf

CTIT Ph D-thesis series

IPA dissertation series

mainEntityOfPage

66745f89613603201d130b6081c14422

name

Model checking nondeterministic and randomly timed systems

http://www.w3.org/2001/XMLSchema#string

publication

b826c5bb24ff83875e113ab137dc6e19

type

label

Model checking nondeterministic and randomly timed systems / Martin Richard Neuhäußer

http://www.w3.org/2001/XMLSchema#string