@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/p249948435> a schema1:Book,
        schema1:CreativeWork,
        schema1:ProductModel ;
    rdfs:label "A probabilistic extension of UML statecharts : specification and verification / D.N. Jansen, H. Hermanns, J.P. Katoen" ;
    dcterms1:issued "2002" ;
    schema1:associatedMedia "http://www.ub.utwente.nl/webdocs/ctit/1/0000009b.pdf" ;
    schema1:author <http://data.bibliotheken.nl/id/thes/p215676866> ;
    schema1:bookFormat schema1:EBook ;
    schema1:contributor <http://data.bibliotheken.nl/id/thes/p07485299X>,
        <http://data.bibliotheken.nl/id/thes/p184653371> ;
    schema1:inLanguage "en" ;
    schema1:isPartOf <http://data.bibliotheken.nl/id/nbt/p24427522X> ;
    schema1:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/6b1581eeb0a3a5ed6695ada35345a6fa> ;
    schema1:name "A probabilistic extension of UML statecharts : specification and verification" ;
    schema1:numberOfPages 0 ;
    schema1:publication <https://data.bibliotheken.nl/.well-known/genid/84a42753e9b22fb460b9345e5f2153e2> .