@prefix dcterms1: <http://purl.org/dc/terms#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://data.bibliotheken.nl/id/nbt/p056147244> a schema1:Book,
        schema1:CreativeWork,
        schema1:ProductModel ;
    rdfs:label "Branching time and abstraction in bisimulation semantics : (extended abstract) / R.J. van Glabbeek, W.P. Weijland" ;
    dcterms1:issued "1989" ;
    schema1:about <http://data.bibliotheken.nl/id/thes/p075663708> ;
    schema1:author <http://data.bibliotheken.nl/id/thes/p072142138>,
        <http://data.bibliotheken.nl/id/thes/p075404001> ;
    schema1:contributor <http://data.bibliotheken.nl/id/thes/p072544694> ;
    schema1:inLanguage "en" ;
    schema1:isPartOf <http://data.bibliotheken.nl/id/nbt/p840821077> ;
    schema1:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/9da4d12f035b472436c607c4dc433ef2> ;
    schema1:name "Branching time and abstraction in bisimulation semantics : (extended abstract)" ;
    schema1:numberOfPages 14 ;
    schema1:publication <https://data.bibliotheken.nl/.well-known/genid/494eff6e344a20dccb763e7f3f992565> ;
    schema1:sameAs <http://www.worldcat.org/oclc/65085726> .