Skip to main content

A linked data approach to sharing workflows and workflow results

Marco Roos‚ Sean Bechhofer‚ Jun Zhao‚ Paolo Missier‚ David Newman‚ David De Roure and M Marshall

Journal
Leveraging Applications of Formal Methods‚ Verification‚ and Validation
Pages
340–354
Publisher
Springer
Year
2010