Tools in scientific workflow composition

  • Authors:

  • Joost N. Kok;Anna-Lena Lamprecht;Mark D. Wilkinson

  • Affiliations:

  • Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands;Programming Systems, Technical University Dortmund, Dortmund, Germany;Heart + Lung Institute at St. Paul's Hospital, University of British Columbia, Vancouver, BC, Canada

  • Venue:
  • ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
  • Year:
  • 2010

  • Bioscientific data processing and modeling

    ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II

Quantified Score

Hi-index 0.00

Visualization

Abstract