|
rdfs:label
|
"Testing labelled transitons systems with inputs and outputs / Jan Tretmans"
|
|
schema:name
|
"Testing labelled transitons systems with inputs and outputs"
|
|
schema:author
|
Tretmans, Gerrit Jan (1962-)
|
|
Universiteit Twente (Enschede). Faculteit der Informatica
|
|
schema:contributor
|
Universiteit Twente (Enschede). Faculteit der Elektrotechniek
|
|
Tele-Informatics and Open Systems Group (Enschede)
|
|
schema:sameAs
|
<http://www.worldcat.org/oclc/69102768>
|
|
schema:mainEntityOfPage
|
<https://data.bibliotheken.nl/.well-known/genid/a3ab169b5e3beaf238097977e0a9d234>
|
|
http://purl.org/dc/terms#issued
|
"1995"
|
|
schema:about
|
informatietechnologie
|
|
schema:inLanguage
|
"en"
|
|
schema:isPartOf
|
TIOS / Tele-Informatics and Open Systems Group
|
|
Memoranda informatica / University of Twente, Department of Computer Science
|
|
schema:numberOfPages
|
23
|
|
schema:publication
|
<https://data.bibliotheken.nl/.well-known/genid/8afc90d9d8bacd0efbbc993b597151ac>
|