@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/p242520472> a schema1:Book,
        schema1:CreativeWork,
        schema1:ProductModel ;
    rdfs:label "Hybrid I/O automata / N. Lynch, R. Segala, F.W. Vaandrager" ;
    dcterms1:issued "2002" ;
    schema1:about <http://data.bibliotheken.nl/id/thes/p075603233> ;
    schema1:author <http://data.bibliotheken.nl/id/thes/p109501292>,
        <http://data.bibliotheken.nl/id/thes/p242823157> ;
    schema1:contributor <http://data.bibliotheken.nl/id/thes/p07206806X>,
        <http://data.bibliotheken.nl/id/thes/p242826547> ;
    schema1:inLanguage "en" ;
    schema1:isPartOf <http://data.bibliotheken.nl/id/nbt/p242824072> ;
    schema1:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/30d827f9f43b305222f2c5f5f16f77cb> ;
    schema1:name "Hybrid I/O automata" ;
    schema1:numberOfPages 65 ;
    schema1:publication <https://data.bibliotheken.nl/.well-known/genid/ea6265fce518da2b333aad10adf00b59> ;
    schema1:sameAs <http://www.worldcat.org/oclc/66174731> .