Formal Verification of Data Provenance Records
author: Szymon Klarman,
Department of Computer Science, Faculty of Sciences, Vrije Universiteit Amsterdam (VU)
published: Dec. 10, 2012, recorded: November 2012, views: 3259
published: Dec. 10, 2012, recorded: November 2012, views: 3259
Slides
Related content
Report a problem or upload files
If you have found a problem with this lecture or would like to send us extra material, articles, exercises, etc., please use our ticket system to describe your request and upload the data.Enter your e-mail into the 'Cc' field, and we will keep you updated with your request's status.
See Also:
Download slides: semantic_klarman_provenance_records_01.pdf (274.8 KB)
Download article: 76490209.pdf (284.6 KB)
Link this page
Would you like to put a link to this lecture on your homepage?Go ahead! Copy the HTML snippet !
Write your own review or comment: