A case study in formal methods : specification and validation of the OM/RR protocol / Tim Willemse, Jan Tretmans, and Arjen Klomp

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

rdfs:label	"A case study in formal methods : specification and validation of the OM/RR protocol / Tim Willemse, Jan Tretmans, and Arjen Klomp"
schema:name	"A case study in formal methods : specification and validation of the OM/RR protocol"
schema:author	Willemse, Timothy Ariën Carol (1974-)
	Department of Mathematics and Computing Science (Eindhoven ; 1986-....)
schema:contributor	Klomp, Arjen
	Tretmans, Gerrit Jan (1962-)
schema:sameAs	<http://www.worldcat.org/oclc/66885759>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/fef7b36e678d9e63ffdf00b1abcf2381>
http://purl.org/dc/terms#issued	"2000"
schema:about	computersystemen
	theoretische informatica
	systeemontwikkeling (informatica)
schema:inLanguage	"en"
schema:isPartOf	Computing science reports / Eindhoven University of Technology, Department of Mathematics and Computing Science
schema:numberOfPages	16
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/1264d688120d911b8981676450141d2b>