Abstract interpretation and partition refinement for model checking / Dennis René Dams

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

Proefschrift Technische Universiteit Eindhoven

rdfs:label	"Abstract interpretation and partition refinement for model checking / Dennis René Dams"
schema:name	"Abstract interpretation and partition refinement for model checking"
schema:author	Dams, Dennis René (1966-)
schema:description	"Proefschrift Technische Universiteit Eindhoven"
schema:sameAs	<http://www.worldcat.org/oclc/905505807>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/f011f5bdc0dc8d9e8541af55c9a52922>
http://purl.org/dc/terms#issued	"1996"
schema:about	Temporele logica
	Software
	Verification
	Specification
	foutentheorie
	computerprogramma's
	wiskundige logica
	<http://data.bibliotheken.nl/id/thes/p077605306>
schema:inLanguage	"en"
schema:isbn	"903860078X"
schema:numberOfPages	219
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/d669b951c8130b6340ce84d62670ab2d>