Model checking timed automata : techniques and applications / Martijn Hendriks

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

Proefschrift Radboud Universiteit Nijmegen

rdfs:label	"Model checking timed automata : techniques and applications / Martijn Hendriks"
schema:name	"Model checking timed automata : techniques and applications"
schema:author	Instituut voor Programmatuurkunde en Algoritmiek
	Hendriks, Martijn (1976-)
schema:description	"Proefschrift Radboud Universiteit Nijmegen"
	"Ook verschenen als online resource"
schema:sameAs	<http://www.worldcat.org/oclc/150193603>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/54afdfaa3e3933cebe4a7ee2a02b2a70>
kbdef:hasDerivative	<http://data.bibliotheken.nl/id/nbt/p29277074X>
http://purl.org/dc/terms#issued	"2006"
schema:about	algoritmen
	wiskundige logica
schema:inLanguage	"en"
schema:isPartOf	IPA dissertation series
schema:isbn	"9090203788"
schema:numberOfPages	162
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/52591d8eb859ba56df03f8217208ce6f>