@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/p136333737> a schema1:Book,
        schema1:CreativeWork,
        schema1:ProductModel ;
    rdfs:label "Formalizing process algebraic verifications in the calculus of constructions / by M. Bezem, R. Bol and J.F. Groote" ;
    dcterms1:issued "1995" ;
    schema1:about <http://data.bibliotheken.nl/id/thes/p075598833>,
        <http://data.bibliotheken.nl/id/thes/p075665506> ;
    schema1:author <http://data.bibliotheken.nl/id/thes/p07223346X>,
        <http://data.bibliotheken.nl/id/thes/p134449045> ;
    schema1:contributor <http://data.bibliotheken.nl/id/thes/p075010259>,
        <http://data.bibliotheken.nl/id/thes/p075010275> ;
    schema1:inLanguage "en" ;
    schema1:isPartOf <http://data.bibliotheken.nl/id/nbt/p124667155> ;
    schema1:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/2d0c4d74085bce6fe2ba9c2277e01104> ;
    schema1:name "Formalizing process algebraic verifications in the calculus of constructions" ;
    schema1:numberOfPages 49 ;
    schema1:publication <https://data.bibliotheken.nl/.well-known/genid/d7c58fc86156a21423d742e66d5ef96a> ;
    schema1:sameAs <http://www.worldcat.org/oclc/69140268> .