Alea jacta est : verification of probabilistic, real-time and parametric systems / Mariëlle Ida Antoinette Stoelinga - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

Alea jacta est : verification of probabilistic, real-time and parametric systems / Mariëlle Ida Antoinette Stoelinga

Alea jacta est : verification of probabilistic, real-time and parametric systems / Mariëlle Ida Antoinette Stoelinga

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

1b8468fdb27de9d76e7c1c77ff09cd4b

mainEntity

Alea jacta est : verification of probabilistic, real-time and parametric systems / Mariëlle Ida Antoinette Stoelinga

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

about

author

description

Proefschrift Katholieke Universiteit Nijmegen

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

inLanguage

en

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

isPartOf

IPA dissertation series

isbn

9090157069

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

mainEntityOfPage

1b8468fdb27de9d76e7c1c77ff09cd4b

name

Alea jacta est : verification of probabilistic, real-time and parametric systems

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

numberOfPages

252

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

publication

4ba8e44a9b92c46781a0465caefe8a39

sameAs

type

label

Alea jacta est : verification ...... ëlle Ida Antoinette Stoelinga

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