{
  "@context": {
    "@vocab": "http://schema.org/",
    "rdau": "http://rdaregistry.info/Elements/u/",
    "skos": "http://www.w3.org/2004/02/skos/core#",
    "skos:prefLabel": {
      "@container": "@language"
    }
  },
  "@graph": [
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00035720800",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000120562"
      },
      "name": "Formal verification of a ubiquitous hardware component"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:au:pn:000120562",
      "@type": "Person",
      "name": "Yan, Lu"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00028197300",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000120562"
      },
      "name": "Peer-to-peer networking with firewalls"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00039763900",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000120562"
      },
      "name": "Systematic design of ubiquitous systems"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00035753300",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000120562"
      },
      "name": "Performance evaluation and modeling of peer-to-peer systems over mobile ad hoc networks"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00028171800",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000120562"
      },
      "name": "Stepwise development of peer-to-peer systems"
    }
  ]
}