Track introduction: Scientific workflows

Joost N. Kok; Anna Lena Lamprecht; Kenneth J. Turner; Katy Wolstencroft

doi:10.1007/978-3-662-45231-8_31

Track introduction: Scientific workflows

Joost N. Kok^*
, Anna Lena Lamprecht
, Kenneth J. Turner
, Katy Wolstencroft

^*Corresponding author for this work

09 Laboratory Specialisms

Leiden University
University of Potsdam
University of Stirling

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings
Editors	Tiziana Margaria, Tiziana Margaria, Bernhard Steffen
Publisher	Springer Verlag
Pages	404-406
Number of pages	3
ISBN (Electronic)	9783662452301
DOIs	https://doi.org/10.1007/978-3-662-45231-8_31
Publication status	Published - 2014
Event	6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 - Imperial, Corfu, Greece Duration: 8 Oct 2014 → 11 Oct 2014

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8803
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014
Country/Territory	Greece
City	Imperial, Corfu
Period	08/10/2014 → 11/10/2014

Access to Document

10.1007/978-3-662-45231-8_31

Cite this

Kok, J. N., Lamprecht, A. L., Turner, K. J., & Wolstencroft, K. (2014). Track introduction: Scientific workflows. In T. Margaria, T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings (pp. 404-406). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8803). Springer Verlag. https://doi.org/10.1007/978-3-662-45231-8_31

Kok, Joost N. ; Lamprecht, Anna Lena ; Turner, Kenneth J. et al. / Track introduction : Scientific workflows. Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings. editor / Tiziana Margaria ; Tiziana Margaria ; Bernhard Steffen. Springer Verlag, 2014. pp. 404-406 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{f81873f0df4e4a538ddbdb7683868322,

title = "Track introduction: Scientific workflows",

author = "Kok, \{Joost N.\} and Lamprecht, \{Anna Lena\} and Turner, \{Kenneth J.\} and Katy Wolstencroft",

year = "2014",

doi = "10.1007/978-3-662-45231-8\_31",

language = "English",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "404--406",

editor = "Tiziana Margaria and Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings",

address = "Germany",

note = "6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 ; Conference date: 08-10-2014 Through 11-10-2014",

}

Kok, JN, Lamprecht, AL, Turner, KJ & Wolstencroft, K 2014, Track introduction: Scientific workflows. in T Margaria, T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8803, Springer Verlag, pp. 404-406, 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, Imperial, Corfu, Greece, 08/10/2014. https://doi.org/10.1007/978-3-662-45231-8_31

Track introduction: Scientific workflows. / Kok, Joost N.; Lamprecht, Anna Lena; Turner, Kenneth J. et al.
Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings. ed. / Tiziana Margaria; Tiziana Margaria; Bernhard Steffen. Springer Verlag, 2014. p. 404-406 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8803).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Track introduction

T2 - 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014

AU - Kok, Joost N.

AU - Lamprecht, Anna Lena

AU - Turner, Kenneth J.

AU - Wolstencroft, Katy

PY - 2014

Y1 - 2014

UR - https://www.scopus.com/pages/publications/84910596080

U2 - 10.1007/978-3-662-45231-8_31

DO - 10.1007/978-3-662-45231-8_31

M3 - Conference contribution

AN - SCOPUS:84910596080

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 404

EP - 406

BT - Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer Verlag

Y2 - 8 October 2014 through 11 October 2014

ER -

Kok JN, Lamprecht AL, Turner KJ, Wolstencroft K. Track introduction: Scientific workflows. In Margaria T, Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings. Springer Verlag. 2014. p. 404-406. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-662-45231-8_31

Track introduction: Scientific workflows

Publication series

Conference

Access to Document

Other files and links

Cite this