@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:W00041157100> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000140860> ;
    schema:name "Modeling SoC systems with flow control" .

<http://urn.fi/URN:NBN:fi:bib:me:W00300466100> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000140860> ;
    schema:name "Formal channel based modeling of SoC systems" .

<http://urn.fi/URN:NBN:fi:bib:me:W00336833700> schema:contributor <http://urn.fi/URN:NBN:fi:au:pn:000140860> ;
    schema:name "A case study in requirement analysis of control systems using UML and B" .

<http://urn.fi/URN:NBN:fi:bib:me:W00573752900> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000140860> ;
    schema:name "Formal model-based development of network-on-chip systems" .

<http://urn.fi/URN:NBN:fi:au:pn:000140860> a schema:Person ;
    schema:name "Tsiopoulos, Leonidas" .