Automatic selection of verification tools for efficient analysis of biochemical models

Bakir, M.E., Konur, S., Gheorghe, M. et al. (2 more authors) (2018) Automatic selection of verification tools for efficient analysis of biochemical models. Bioinformatics. ISSN 1367-4803

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © The Author(s) 2018. Published by Oxford University Press. This is an Open Access article distributed under the terms of the Creative Commons Attribution Non-Commercial License (http://creativecommons.org/licenses/by-nc/4.0/), which permits non-commercial re-use, distribution, and reproduction in any medium, provided the original work is properly cited. For commercial re-use, please contact journals.permissions@oup.com
Dates:
  • Accepted: 1 April 2018
  • Published (online): 24 April 2018
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 10 May 2018 14:42
Last Modified: 07 Nov 2018 11:46
Published Version: https://doi.org/10.1093/bioinformatics/bty282
Status: Published online
Publisher: Oxford University Press
Refereed: Yes
Identification Number: https://doi.org/10.1093/bioinformatics/bty282
Related URLs:

Download

Filename: bty282.pdf

Licence: CC-BY-NC 4.0

Share / Export

Statistics