Specification and compositional verification of real-time systems / Jozef Johannes Maria Hooman

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

Proefschrift Eindhoven

rdfs:label	"Specification and compositional verification of real-time systems / Jozef Johannes Maria Hooman"
schema:name	"Specification and compositional verification of real-time systems"
schema:author	Hooman, Jozef Johannes Maria (1955-)
schema:description	"Proefschrift Eindhoven"
schema:sameAs	<http://www.worldcat.org/oclc/905483855>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/d0476608eedfee790559bf7abdf82ff1>
http://purl.org/dc/terms#issued	"1991"
schema:about	Parallel processing
	<http://data.bibliotheken.nl/id/thes/p077605306>
	computerprogramma's
	Specification
	toegepaste wiskunde
	Verification
schema:inLanguage	"en"
schema:numberOfPages	225
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/63135a23473908de10593a1d3197962b>