---
res:
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Eleni
      foaf_name: Bila, Eleni
      foaf_surname: Bila
  - foaf_Person:
      foaf_givenName: Simon
      foaf_name: Doherty, Simon
      foaf_surname: Doherty
  - foaf_Person:
      foaf_givenName: Brijesh
      foaf_name: Dongol, Brijesh
      foaf_surname: Dongol
  - foaf_Person:
      foaf_givenName: John
      foaf_name: Derrick, John
      foaf_surname: Derrick
  - foaf_Person:
      foaf_givenName: Gerhard
      foaf_name: Schellhorn, Gerhard
      foaf_surname: Schellhorn
  - foaf_Person:
      foaf_givenName: Heike
      foaf_name: Wehrheim, Heike
      foaf_surname: Wehrheim
      foaf_workInfoHomepage: http://www.librecat.org/personId=573
  bibo_doi: 10.1007/978-3-030-50086-3\_3
  bibo_volume: 12136
  dct_date: 2020^xs_gYear
  dct_language: eng
  dct_publisher: Springer@
  dct_title: 'Defining and Verifying Durable Opacity: Correctness for Persistent Software
    Transactional Memory@'
...
