{
  "@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:W00684198300",
      "@type": [
        "http://id.loc.gov/ontologies/bibframe/Work",
        "CreativeWork"
      ],
      "about": [
        {
          "@id": "http://www.yso.fi/onto/yso/p6137"
        },
        {
          "@id": "http://www.yso.fi/onto/yso/p10874"
        },
        {
          "@id": "http://www.yso.fi/onto/yso/p26592"
        },
        {
          "@id": "http://www.yso.fi/onto/yso/p9371"
        },
        {
          "@id": "http://www.yso.fi/onto/yso/p20656"
        },
        {
          "@id": "http://www.yso.fi/onto/yso/p4887"
        }
      ],
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000158130"
      },
      "inLanguage": "en",
      "isPartOf": {
        "@id": "http://urn.fi/URN:NBN:fi:bib:me:CFENNI"
      },
      "name": "Scheduling dynamic dataflow graphs with model checking",
      "rdau:P60049": {
        "@id": "http://rdaregistry.info/termList/RDAContentType/1020"
      },
      "workExample": [
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:I00684198301"
        },
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:I00684198303"
        },
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:I00684198300"
        },
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:I00684198302"
        }
      ]
    },
    {
      "@id": "http://www.yso.fi/onto/yso/p4887",
      "name": "ohjelmointi"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:CFENNI",
      "name": "Fennica"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:I00684198301",
      "@type": [
        "CreativeWork",
        "http://id.loc.gov/ontologies/bibframe/Instance"
      ],
      "description": "Yhteenveto-osa julkaistu myös verkkoaineistona",
      "exampleOfWork": {
        "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00684198300"
      },
      "isPartOf": [
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:CFENNI"
        },
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00082440400"
        }
      ],
      "name": "Scheduling dynamic dataflow graphs with model checking"
    },
    {
      "@id": "http://www.yso.fi/onto/yso/p10874",
      "name": "prosessorit"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:I00684198302",
      "@type": [
        "CreativeWork",
        "http://id.loc.gov/ontologies/bibframe/Instance"
      ],
      "exampleOfWork": {
        "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00684198300"
      },
      "isPartOf": [
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00082440400"
        },
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:CFENNI"
        }
      ],
      "isbn": "9789521230912",
      "name": "Scheduling dynamic dataflow graphs with model checking"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00082440400",
      "name": [
        "TUCS dissertations",
        "Informaatioteknologian laitos,Department of Information Technology",
        "TUCS Dissertations",
        "TUCS Dissertations / Turku Centre for Computer Science",
        "TUCs dissertations",
        "TUCS diss",
        "Informaatioteknologian laitos, Department of Information Technology",
        "TUCS dissertations / Turku Centre for Computer Science",
        "TUCS disserttions",
        "Turku Centre for Computer Science dissertations",
        "TUCS general publications / Turku Centre for Computer Science"
      ]
    },
    {
      "@id": "http://www.yso.fi/onto/yso/p26592",
      "name": "tietokoneohjelmat"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:au:pn:000158130",
      "name": "Ersfolk, Johan"
    },
    {
      "@id": "http://www.yso.fi/onto/yso/p6137",
      "name": "sopeutuminen"
    },
    {
      "@id": "http://www.yso.fi/onto/yso/p20656",
      "name": "järjestelmäarkkitehtuuri"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:I00684198300",
      "@type": [
        "http://id.loc.gov/ontologies/bibframe/Instance",
        "CreativeWork"
      ],
      "datePublished": "2014",
      "description": [
        "Artikkeliväitöskirjan yhteenveto-osa ja 5 eripainosta.",
        "Sammanfattning + 5 artiklar.",
        "kuvitettu ;."
      ],
      "exampleOfWork": {
        "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00684198300"
      },
      "identifier": {
        "@id": "_:ub41223bL51C31"
      },
      "isPartOf": [
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:CFENNI"
        },
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00082440400"
        }
      ],
      "isbn": "9789521230905",
      "name": "Scheduling dynamic dataflow graphs with model checking",
      "numberOfPages": "xiv, 181, [42] .",
      "publication": {
        "@id": "_:ub41223bL59C31"
      },
      "publisher": {
        "@id": "_:fe7b95c748d0543b2a3dc51029a43b6bdb1"
      },
      "rdau:P60048": {
        "@id": "http://rdaregistry.info/termList/RDACarrierType/1049"
      },
      "rdau:P60050": {
        "@id": "http://rdaregistry.info/termList/RDAMediaType/1007"
      }
    },
    {
      "@id": "_:ub41223bL51C31",
      "@type": "PropertyValue",
      "propertyID": "FI-MELINDA",
      "value": "006841983"
    },
    {
      "@id": "_:fe7b95c748d0543b2a3dc51029a43b6bdb1",
      "name": "Åbo Akademi University, Department of Information Technologies"
    },
    {
      "@id": "_:ub41223bL59C31",
      "location": {
        "@id": "_:ub41223bL59C51"
      },
      "organizer": {
        "@id": "_:fe7b95c748d0543b2a3dc51029a43b6bdb1"
      }
    },
    {
      "@id": "_:ub41223bL59C51",
      "name": "Turku"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:I00684198303",
      "@type": [
        "http://id.loc.gov/ontologies/bibframe/Instance",
        "Book",
        "CreativeWork"
      ],
      "bookFormat": {
        "@id": "http://schema.org/EBook"
      },
      "exampleOfWork": {
        "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00684198300"
      },
      "isPartOf": [
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00082440400"
        },
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:CFENNI"
        }
      ],
      "name": "Scheduling dynamic dataflow graphs with model checking",
      "url": {
        "@id": "http://urn.fi/URN:ISBN:978-952-12-3091-2"
      }
    },
    {
      "@id": "http://www.yso.fi/onto/yso/p9371",
      "name": "yhteensopivuus"
    }
  ]
}