Back and forth bisimulations / R. De Nicola, U. Montanari, F.W. Vaandrager

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

schema:CreativeWork schema:ProductModel schema:Book
rdfs:label "Back and forth bisimulations / R. De Nicola, U. Montanari, F.W. Vaandrager"
schema:name "Back and forth bisimulations"
schema:author Centrum voor Wiskunde en Informatica (Amsterdam). Computer Science/Department of Software Technology
De Nicola, Rocco
schema:contributor Montanari, Ugo
Vaandrager, Frits Willem (1962-)
schema:sameAs <http://www.worldcat.org/oclc/906580470>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/53ef5ef4417e18f9f7f523cf41ec7eb6>
http://purl.org/dc/terms#issued "1990"
schema:about semantiek
computersimulatie
schema:inLanguage "en"
schema:isPartOf Report / Department of Computer Science
schema:numberOfPages 14
schema:publication <https://data.bibliotheken.nl/.well-known/genid/579628ce6cf18cefd8da9712dbb49b79>
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql