Bioscientific Data Processing and Modeling

TitleBioscientific Data Processing and Modeling
Publication TypeBook Chapter
Year of Publication2012
AuthorsKok, J.N., Lamprecht A.L., Verbeek F.J., Wilkinson M.D.
EditorMargaria, T., Steffen B.
Book TitleLeveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies.
Series TitleLecture Notes in Computer Science
Volume7610
Pagination7 - 11
PublisherSpringer Berlin Heidelberg
CityBerlin, Heidelberg
ISBN Number978-3-642-34031-4
ISBN0302-9743
DOI10.1007/978-3-642-34032-1_2
DOI10.1007/978-3-642-34032-1_2
16/06/2014