Bioscientific Data Processing and Modeling. Kok, J., Lamprecht, A., L., Verbeek, F., & Wilkinson, M. Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, Springer Berlin/Heidelberg, 2012. doi bibtex @article{
title = {Bioscientific Data Processing and Modeling},
type = {article},
year = {2012},
pages = {7-11},
publisher = {Springer Berlin/Heidelberg},
id = {97f9c50d-cf32-35b0-a516-aeab4fe58e7a},
created = {2014-07-02T09:11:39.000Z},
file_attached = {false},
profile_id = {17c87d5d-2470-32d7-b273-0734a1d9195f},
last_modified = {2017-03-22T07:45:59.566Z},
read = {false},
starred = {false},
authored = {true},
confirmed = {true},
hidden = {false},
citation_key = {kok2012bioscientific},
source_type = {article},
private_publication = {false},
bibtype = {article},
author = {Kok, J and Lamprecht, A L and Verbeek, F and Wilkinson, M},
doi = {10.1007/978-3-642-34032-1_2},
journal = {Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies}
}
Downloads: 0
{"_id":"Fhu6D7EQvtKkqDT8D","bibbaseid":"kok-lamprecht-verbeek-wilkinson-bioscientificdataprocessingandmodeling-2012","downloads":0,"creationDate":"2018-01-15T08:18:50.510Z","title":"Bioscientific Data Processing and Modeling","author_short":["Kok, J.","Lamprecht, A., L.","Verbeek, F.","Wilkinson, M."],"year":2012,"bibtype":"article","biburl":"https://bibbase.org/service/mendeley/17c87d5d-2470-32d7-b273-0734a1d9195f","bibdata":{"title":"Bioscientific Data Processing and Modeling","type":"article","year":"2012","pages":"7-11","publisher":"Springer Berlin/Heidelberg","id":"97f9c50d-cf32-35b0-a516-aeab4fe58e7a","created":"2014-07-02T09:11:39.000Z","file_attached":false,"profile_id":"17c87d5d-2470-32d7-b273-0734a1d9195f","last_modified":"2017-03-22T07:45:59.566Z","read":false,"starred":false,"authored":"true","confirmed":"true","hidden":false,"citation_key":"kok2012bioscientific","source_type":"article","private_publication":false,"bibtype":"article","author":"Kok, J and Lamprecht, A L and Verbeek, F and Wilkinson, M","doi":"10.1007/978-3-642-34032-1_2","journal":"Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies","bibtex":"@article{\n title = {Bioscientific Data Processing and Modeling},\n type = {article},\n year = {2012},\n pages = {7-11},\n publisher = {Springer Berlin/Heidelberg},\n id = {97f9c50d-cf32-35b0-a516-aeab4fe58e7a},\n created = {2014-07-02T09:11:39.000Z},\n file_attached = {false},\n profile_id = {17c87d5d-2470-32d7-b273-0734a1d9195f},\n last_modified = {2017-03-22T07:45:59.566Z},\n read = {false},\n starred = {false},\n authored = {true},\n confirmed = {true},\n hidden = {false},\n citation_key = {kok2012bioscientific},\n source_type = {article},\n private_publication = {false},\n bibtype = {article},\n author = {Kok, J and Lamprecht, A L and Verbeek, F and Wilkinson, M},\n doi = {10.1007/978-3-642-34032-1_2},\n journal = {Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies}\n}","author_short":["Kok, J.","Lamprecht, A., L.","Verbeek, F.","Wilkinson, M."],"biburl":"https://bibbase.org/service/mendeley/17c87d5d-2470-32d7-b273-0734a1d9195f","bibbaseid":"kok-lamprecht-verbeek-wilkinson-bioscientificdataprocessingandmodeling-2012","role":"author","urls":{},"metadata":{"authorlinks":{"wilkinson, m":"https://bibbase.org/service/mendeley/17c87d5d-2470-32d7-b273-0734a1d9195f"}},"downloads":0},"search_terms":["bioscientific","data","processing","modeling","kok","lamprecht","verbeek","wilkinson"],"keywords":[],"authorIDs":["3D2gJyDWo9oBKnSCp"],"dataSources":["u3DebWvhQaEque62E","ya2CyA73rpZseyrZ8","2252seNhipfTmjEBQ"]}