@inbook{da8e355aef0f4fbfa360cea00b97cbb1,
  title     = "Formal Verification of Data Provenance Records",
  author    = "S. Klarman and K.S. Schlobach and L. Serafini",
  year      = "2012",
  booktitle = "Proceedings of the 11th International Semantic Web Conference (ISWC-12)",
  publisher = "Springer",
}

{"_id":"nARrEansjeZX6NrZW","bibbaseid":"klarman-schlobach-serafini-formalverificationofdataprovenancerecords-2012","downloads":0,"creationDate":"2015-10-21T11:54:42.309Z","title":"Formal Verification of Data Provenance Records","author_short":["Klarman, S.","Schlobach, K.","Serafini, L."],"year":2012,"bibtype":"inbook","biburl":"https://raw.githubusercontent.com/KRRVU/website/master/publications/krr.bib","bibdata":{"bibtype":"inbook","type":"inbook","title":"Formal Verification of Data Provenance Records","author":[{"firstnames":["S."],"propositions":[],"lastnames":["Klarman"],"suffixes":[]},{"firstnames":["K.S."],"propositions":[],"lastnames":["Schlobach"],"suffixes":[]},{"firstnames":["L."],"propositions":[],"lastnames":["Serafini"],"suffixes":[]}],"year":"2012","booktitle":"Proceedings of the 11th International Semantic Web Conference (ISWC-12)","publisher":"Springer","bibtex":"@inbook{da8e355aef0f4fbfa360cea00b97cbb1,\n title = \"Formal Verification of Data Provenance Records\",\n author = \"S. Klarman and K.S. Schlobach and L. Serafini\",\n year = \"2012\",\n booktitle = \"Proceedings of the 11th International Semantic Web Conference (ISWC-12)\",\n publisher = \"Springer\",\n}\n\n\n","author_short":["Klarman, S.","Schlobach, K.","Serafini, L."],"key":"da8e355aef0f4fbfa360cea00b97cbb1","id":"da8e355aef0f4fbfa360cea00b97cbb1","bibbaseid":"klarman-schlobach-serafini-formalverificationofdataprovenancerecords-2012","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["formal","verification","data","provenance","records","klarman","schlobach","serafini"],"keywords":[],"authorIDs":[],"dataSources":["H6xuGqu5uQ6rXhdJ4","dJmTXpbSWWjnxatYT"]}