@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://urn.fi/URN:NBN:fi:bib:me:W00016260500> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000102253> ;
    schema:name "Model checking the branching time temporal logic CTL" .

<http://urn.fi/URN:NBN:fi:bib:me:W00022510000> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000102253> ;
    schema:name "Deadlock and reachability checking with finite complete prefixes" .

<http://urn.fi/URN:NBN:fi:bib:me:W00022596200> schema:contributor <http://urn.fi/URN:NBN:fi:au:pn:000102253> ;
    schema:name "A new unfolding approach to LTL model checking" .

<http://urn.fi/URN:NBN:fi:bib:me:W00023922300> schema:contributor <http://urn.fi/URN:NBN:fi:au:pn:000102253> ;
    schema:name "Implementing LTL model checking with net unfoldings" .

<http://urn.fi/URN:NBN:fi:bib:me:W00024392700> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000102253> ;
    schema:name "Combining symbolic and partial order methods for model checking 1-safe Petri nets" .

<http://urn.fi/URN:NBN:fi:bib:me:W00394545800> schema:contributor <http://urn.fi/URN:NBN:fi:au:pn:000102253> ;
    schema:name "Symbolic step encodings for object based communicating state machines" .

<http://urn.fi/URN:NBN:fi:au:pn:000102253> a schema:Person ;
    schema:name "Heljanko, Keijo" .