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