@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/p084475072> a schema1:Book,
        schema1:CreativeWork,
        schema1:ProductModel ;
    rdfs:label "Assertional verification in distributed computing / Anna Adriana Schoone" ;
    dcterms1:issued "1991" ;
    schema1:about <http://data.bibliotheken.nl/id/thes/p075598876>,
        <http://data.bibliotheken.nl/id/thes/p075603233>,
        <http://data.bibliotheken.nl/id/thes/p077605241>,
        <http://data.bibliotheken.nl/id/thes/p078513332>,
        <http://data.bibliotheken.nl/id/thes/p078940648> ;
    schema1:author <http://data.bibliotheken.nl/id/thes/p07460368X> ;
    schema1:description "Proefschrift Utrecht" ;
    schema1:inLanguage "en" ;
    schema1:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/12ac5db56e6dc12cecac931d265c58ee> ;
    schema1:name "Assertional verification in distributed computing" ;
    schema1:numberOfPages 191 ;
    schema1:publication <https://data.bibliotheken.nl/.well-known/genid/2574e05fa30850c9134f33aaf813054c> ;
    schema1:sameAs <http://www.worldcat.org/oclc/905501062> .