External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Verification of Data Provenance Records

Szymon Klarman, Stefan Schlobach, Luciano Serafini. Formal Verification of Data Provenance Records. In Philippe Cudré-Mauroux, Jeff Heflin, Evren Sirin, Tania Tudorache, Jérôme Euzenat, Manfred Hauswirth, Josiane Xavier Parreira, Jim Hendler, Guus Schreiber, Abraham Bernstein, Eva Blomqvist, editors, The Semantic Web - ISWC 2012 - 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I. Volume 7649 of Lecture Notes in Computer Science, pages 215-230, Springer, 2012. [doi]

Authors

Szymon Klarman

This author has not been identified. Look up 'Szymon Klarman' in Google

Stefan Schlobach

This author has not been identified. Look up 'Stefan Schlobach' in Google

Luciano Serafini

This author has not been identified. Look up 'Luciano Serafini' in Google
runs on