---
res:
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Heike
      foaf_name: Wehrheim, Heike
      foaf_surname: Wehrheim
      foaf_workInfoHomepage: http://www.librecat.org/personId=573
  - foaf_Person:
      foaf_givenName: Marco
      foaf_name: Platzner, Marco
      foaf_surname: Platzner
      foaf_workInfoHomepage: http://www.librecat.org/personId=398
  - foaf_Person:
      foaf_givenName: Eric
      foaf_name: Bodden, Eric
      foaf_surname: Bodden
      foaf_workInfoHomepage: http://www.librecat.org/personId=59256
    orcid: 0000-0003-3470-3647
  - foaf_Person:
      foaf_givenName: 'Philipp '
      foaf_name: 'Schubert, Philipp '
      foaf_surname: Schubert
  - foaf_Person:
      foaf_givenName: Felix
      foaf_name: Pauck, Felix
      foaf_surname: Pauck
      foaf_workInfoHomepage: http://www.librecat.org/personId=22398
  - foaf_Person:
      foaf_givenName: Marie-Christine
      foaf_name: Jakobs, Marie-Christine
      foaf_surname: Jakobs
  bibo_doi: 10.5281/zenodo.8068583
  bibo_volume: 412
  dct_date: 2023^xs_gYear
  dct_language: eng
  dct_publisher: Heinz Nixdorf Institut, Universität Paderborn@
  dct_title: Verifying Software and Reconfigurable Hardware Services@
...