---
res:
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Akin
      foaf_name: Akbulut, Akin
      foaf_surname: Akbulut
  - foaf_Person:
      foaf_givenName: ' Stephan '
      foaf_name: ' Abke,  Stephan '
      foaf_surname: ' Abke'
  - foaf_Person:
      foaf_givenName: ' Christoph'
      foaf_name: ' Laroque,  Christoph'
      foaf_surname: ' Laroque'
  dct_date: 2017^xs_gYear
  dct_language: eng
  dct_publisher: Institute of Electrical and Electronics Engineers, Inc.@
  dct_title: Automated Model Verification using an Equivalence Test on a Reference
    Mode@
...