Refinement in branching time semantics / R.J. van Glabbeek, W.P. Weijland

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

schema:CreativeWork schema:ProductModel schema:Book
rdfs:label "Refinement in branching time semantics / R.J. van Glabbeek, W.P. Weijland"
schema:name "Refinement in branching time semantics"
schema:author Centrum voor Wiskunde en Informatica (Amsterdam). Computer Science/Department of Software Technology
Glabbeek, Robert Jan van
schema:contributor Weijland, Willem Pieter (1960-)
schema:sameAs <http://www.worldcat.org/oclc/906563733>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/c50d1d93d7292b044e4e34cb6b07a23a>
http://purl.org/dc/terms#issued "1989"
schema:about computerwiskunde
schema:inLanguage "en"
schema:isPartOf Report / Department of Computer Science
schema:numberOfPages 6
schema:publication <https://data.bibliotheken.nl/.well-known/genid/c0fab07b79ebda15542dae4f30e03fa2>
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql