Automatic selection of verification tools for efficient analysis of biochemical models. (2018)

First Author: Bakir ME
Attributed to:  TAURUS: Towards an Audacious Universal Constructor funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1093/bioinformatics/bty282

PubMed Identifier: 29688313

Publication URI: http://europepmc.org/abstract/MED/29688313

Type: Journal Article/Review

Volume: 34

Parent Publication: Bioinformatics (Oxford, England)

Issue: 18

ISSN: 1367-4803