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

{"_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, S.","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":["S."],"propositions":[],"lastnames":["Schlobach"],"suffixes":[]},{"firstnames":["L."],"propositions":[],"lastnames":["Serafini"],"suffixes":[]}],"year":"2012","booktitle":"Proc. of the 11th International Semantic Web Conference (ISWC-12)","bibtex":"@inbook{0cce0204a6f44e39a461a845757f99c3,\n title = \"Formal Verification of Data Provenance Records\",\n author = \"S. Klarman and S. Schlobach and L. Serafini\",\n year = \"2012\",\n booktitle = \"Proc. of the 11th International Semantic Web Conference (ISWC-12)\",\n}\n\n\n","author_short":["Klarman, S.","Schlobach, S.","Serafini, L."],"key":"0cce0204a6f44e39a461a845757f99c3","id":"0cce0204a6f44e39a461a845757f99c3","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"]}