---
res:
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Stephanie
      foaf_name: Drzevitzky, Stephanie
      foaf_surname: Drzevitzky
  - foaf_Person:
      foaf_givenName: Uwe
      foaf_name: Kastens, Uwe
      foaf_surname: Kastens
  - foaf_Person:
      foaf_givenName: Marco
      foaf_name: Platzner, Marco
      foaf_surname: Platzner
      foaf_workInfoHomepage: http://www.librecat.org/personId=398
  bibo_doi: 10.1155/2010/180242
  bibo_volume: 2010
  dct_date: 2010^xs_gYear
  dct_language: eng
  dct_publisher: Hindawi Publishing Corporation@
  dct_title: 'Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online
    Verification@'
...