@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:W00004373900> schema:contributor <http://urn.fi/URN:NBN:fi:au:pn:000062050> ;
    schema:name "A graph model for efficient reachability analysis of description languages" .

<http://urn.fi/URN:NBN:fi:bib:me:W00005653700> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000062050> ;
    schema:name "Some polynomial space complete concurrency problems" .

<http://urn.fi/URN:NBN:fi:bib:me:W00034843300> schema:contributor <http://urn.fi/URN:NBN:fi:au:pn:000062050> ;
    schema:name "A method for analysing the performance of testing techniques for concurrent systems" .

<http://urn.fi/URN:NBN:fi:bib:me:W00069405300> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000062050> ;
    schema:name "Rinnakkaisjärjestelmien validointi ja verifiointi : katsaus: käsitteet, teoriat ja menetelmät" .

<http://urn.fi/URN:NBN:fi:bib:me:W00075056200> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000062050> ;
    schema:name "Compositional failure-based semantic models for Basic LOTOS" .

<http://urn.fi/URN:NBN:fi:bib:me:W00081282700> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000062050> ;
    schema:name "Visual verification of safety and liveness" .

<http://urn.fi/URN:NBN:fi:bib:me:W00145470700> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000062050> ;
    schema:name "Roudan kehittymisen tilastollinen malli" .

<http://urn.fi/URN:NBN:fi:bib:me:W00310221600> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000062050> ;
    schema:name "State space generation : efficiency and practicality" .

<http://urn.fi/URN:NBN:fi:bib:me:W00399340700> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000062050> ;
    schema:name "Alleviating state explosion during verification of behavioural equivalence" .

<http://urn.fi/URN:NBN:fi:au:pn:000062050> a schema:Person ;
    schema:name "Valmari, Antti" .