The linear time-branching time spectrum / R.J. van Glabbeek

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

schema:Book schema:ProductModel schema:CreativeWork
rdfs:label "The linear time-branching time spectrum / R.J. van Glabbeek"
schema:name "The linear time-branching time spectrum"
schema:author Glabbeek, Robert Jan van
Centrum voor Wiskunde en Informatica (Amsterdam). Computer Science/Department of Software Technology
schema:sameAs <http://www.worldcat.org/oclc/65762665>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/9581dfb006228ed8724dbc735a164ee9>
http://purl.org/dc/terms#issued "1990"
schema:about semantiek
programmeertalen
schema:inLanguage "en"
schema:isPartOf Report / Department of Computer Science
schema:numberOfPages 30
schema:publication <https://data.bibliotheken.nl/.well-known/genid/9a560b37615a4b321c97982de04e76dd>
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql