@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/p120245140> a schema1:Book,
        schema1:CreativeWork,
        schema1:ProductModel ;
    rdfs:label "Abstract interpretation of reactive systems: abstractions preserving ACTL*, ƎCTL* and CTL* / by D. Dams, O. Grumberg and R. Gerth" ;
    dcterms1:issued "1994" ;
    schema1:about <http://data.bibliotheken.nl/id/thes/p075614111>,
        <http://data.bibliotheken.nl/id/thes/p075684659> ;
    schema1:author <http://data.bibliotheken.nl/id/thes/p100946453> ;
    schema1:contributor <http://data.bibliotheken.nl/id/thes/p07430707X>,
        <http://data.bibliotheken.nl/id/thes/p123441250> ;
    schema1:inLanguage "en" ;
    schema1:isPartOf <http://data.bibliotheken.nl/id/nbt/p860173992> ;
    schema1:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/2f2e268a78880a7ba974dc702f9fc599> ;
    schema1:name "Abstract interpretation of reactive systems: abstractions preserving ACTL*, ƎCTL* and CTL*" ;
    schema1:numberOfPages 28 ;
    schema1:publication <https://data.bibliotheken.nl/.well-known/genid/31c67f71bf6f62ecf73879e144da2c50> ;
    schema1:sameAs <http://www.worldcat.org/oclc/948584604> .