Bioscientific data processing and modeling
- Author(s):
- Kok, J.N. (0000-0002-7352-1400); Lamprecht, A.-L.; Verbeek, F.J. (0000-0003-2445-8158); Wilkinson, M.D.
- Editor(s):
- Margaria, T.; Steffen, B.
- Published
- 2012
- Publication type
- Article in monograph or in proceedings
- Date issued
- 2012
- Language
- English
- Publisher
- Berlin, Heidelberg: Springer
- Is part of
- Lecture Notes in Computer Science (2012), Vol. 7610, pt. 7610, p. 7-11
- ISBN source
- 9783642340314
- hdl
- 1887/3638509
- doi
- 10.1007/978-3-642-34032-1_2
Conference
- Meeting name
- International Symposium On Leveraging Applications of Formal Methods, Verification and Validation ISoLA 2012
- Meeting location
- Heraklion, Greece
- Meeting date
- 2012-10-15 - 2012-10-18
