@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/p203957458> a schema1:Book,
        schema1:CreativeWork,
        schema1:ProductModel ;
    rdfs:label "A compositional translation of stochastic automata into timed automata / Pedro R. D'Argenio" ;
    kbdef:hasDerivative <http://data.bibliotheken.nl/id/nbt/p194116654> ;
    dcterms1:issued "2000" ;
    schema1:author <https://data.bibliotheken.nl/.well-known/genid/89b189e685573c86c28956a04615802f> ;
    schema1:inLanguage "en" ;
    schema1:isPartOf <http://data.bibliotheken.nl/id/nbt/p126043515> ;
    schema1:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/f1bdb158dfcba91462955355ba61c1bf> ;
    schema1:name "A compositional translation of stochastic automata into timed automata" ;
    schema1:numberOfPages 32 ;
    schema1:publication <https://data.bibliotheken.nl/.well-known/genid/dbde9d7389bc5bf5bfd99fc500bc5d30> ;
    schema1:sameAs <http://www.worldcat.org/oclc/67361580> .