Choice quantification in process algebra / Sebastiaan Pascal Luttik

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

schema:CreativeWork schema:ProductModel schema:Book
Auteursnaam op omslag: Bas Luttik
rdfs:label "Choice quantification in process algebra / Sebastiaan Pascal Luttik"
schema:name "Choice quantification in process algebra"
schema:author Luttik, Sebastiaan Pascal (1973-)
schema:description "Auteursnaam op omslag: Bas Luttik"
"Proefschrift Universiteit van Amsterdam"
schema:sameAs <http://www.worldcat.org/oclc/67063152>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/30d92a08e5c96be7c9d75c9ffc1d57eb>
http://purl.org/dc/terms#issued "2002"
schema:about Process algebra
<http://data.bibliotheken.nl/id/thes/p077605403>
<http://data.bibliotheken.nl/id/thes/p077605306>
schema:associatedMedia <http://dare.uva.nl/document/61763>
schema:bookFormat schema:EBook
schema:inLanguage "en"
schema:isBasedOn Choice quantification in process algebra / Sebastiaan Pascal Luttik
schema:isPartOf IPA dissertation series
schema:isbn "9090156240"
schema:numberOfPages 159
schema:publication <https://data.bibliotheken.nl/.well-known/genid/13d3de51990b8580a2d5b583f751df7a>

Inverse relations

[ .. ] → kbdef:hasDerivative → Choice quantification in process algebra / Sebastiaan Pascal Luttik

Choice quantification in process algebra / Sebastiaan Pascal Luttikschema:ProductModel
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql