Abstraction, prices and probability in model checking timed automata / Jasper Kornelius Berendsen

<http://data.bibliotheken.nl/id/nbt/p32962265X>

Proefschrift Radboud Universiteit Nijmegen

rdfs:label	"Abstraction, prices and probability in model checking timed automata / Jasper Kornelius Berendsen"
schema:name	"Abstraction, prices and probability in model checking timed automata"
schema:author	Berendsen, Jasper Kornelius (1980-)
schema:description	"Proefschrift Radboud Universiteit Nijmegen"
schema:sameAs	<http://www.worldcat.org/oclc/681466705>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/e2a0ba2f9169244fed1874ae921140bf>
http://purl.org/dc/terms#issued	"2010"
schema:about	computersystemen
	computersimulatie
schema:inLanguage	"en"
schema:isPartOf	IPA dissertation series
schema:isbn	"9789088911934"
schema:numberOfPages	178
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/f62c8112b87de11a929c329d59225fe8>