A compositional proof system for real-time systems based on explicit clock temporal logic: soundness and completeness / by P. Zhou, J. Hooman, R. Kuiper

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

rdfs:label	"A compositional proof system for real-time systems based on explicit clock temporal logic: soundness and completeness / by P. Zhou, J. Hooman, R. Kuiper"
schema:name	"A compositional proof system for real-time systems based on explicit clock temporal logic: soundness and completeness"
schema:author	Department of Mathematics and Computing Science (Eindhoven ; 1986-....). Computing Science Section
	Zhou, Ping (1964-)
schema:contributor	Hooman, Jozef Johannes Maria (1955-)
	Kuiper, Ruurd (1953-)
schema:sameAs	<http://www.worldcat.org/oclc/65806639>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/af12e0a65d7b2fd6ec8df367c6d4416d>
http://purl.org/dc/terms#issued	"1991"
schema:about	computerprogramma's
	computerwiskunde
schema:inLanguage	"en"
schema:isPartOf	Computing science notes / Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section
schema:numberOfPages	52
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/ef074bef2ccd393425bc2a26e703e7c6>