@prefix dcterms1: <http://purl.org/dc/terms#> .
@prefix kbdef: <http://data.bibliotheken.nl/def#> .
@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/p29256094X> a schema1:Book,
        schema1:CreativeWork,
        schema1:ProductModel ;
    rdfs:label "Model checking timed automata : techniques and applications / Martijn Hendriks" ;
    kbdef:hasDerivative <http://data.bibliotheken.nl/id/nbt/p29277074X> ;
    dcterms1:issued "2006" ;
    schema1:about <http://data.bibliotheken.nl/id/thes/p075598876>,
        <http://data.bibliotheken.nl/id/thes/p075665506> ;
    schema1:author <http://data.bibliotheken.nl/id/thes/p166266973>,
        <http://data.bibliotheken.nl/id/thes/p217539319> ;
    schema1:description "Ook verschenen als online resource",
        "Proefschrift Radboud Universiteit Nijmegen" ;
    schema1:inLanguage "en" ;
    schema1:isPartOf <http://data.bibliotheken.nl/id/nbt/p165543140> ;
    schema1:isbn "9090203788" ;
    schema1:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/54afdfaa3e3933cebe4a7ee2a02b2a70> ;
    schema1:name "Model checking timed automata : techniques and applications" ;
    schema1:numberOfPages 162 ;
    schema1:publication <https://data.bibliotheken.nl/.well-known/genid/52591d8eb859ba56df03f8217208ce6f> ;
    schema1:sameAs <http://www.worldcat.org/oclc/150193603> .