Bioscientific Data Processing and Modeling

Joost N. Kok, Anna-Lena Lamprecht, Fons J. Verbeek, Mark D. Wilkinson. Bioscientific Data Processing and Modeling. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Volume 7610 of Lecture Notes in Computer Science, pages 7-11, Springer, 2012. [doi]

Authors

Joost N. Kok

This author has not been identified. Look up 'Joost N. Kok' in Google

Anna-Lena Lamprecht

This author has not been identified. Look up 'Anna-Lena Lamprecht' in Google

Fons J. Verbeek

This author has not been identified. Look up 'Fons J. Verbeek' in Google

Mark D. Wilkinson

This author has not been identified. Look up 'Mark D. Wilkinson' in Google