Automatic selection of verification tools for efficient analysis of biochemical models.

Bakir, Mehmet Emin; Konur, Savas; Gheorghe, Marian; Krasnogor, Natalio; Stannett, Mike

Bakir, Mehmet Emin; Konur, Savas; Gheorghe, Marian; Krasnogor, Natalio; Stannett, Mike.

Afiliação

Bakir ME; Department of Computer Science, University of Sheffield, Sheffield, UK.
Konur S; School of Electrical Engineering & Computer Science, University of Bradford, Bradford, UK.
Gheorghe M; School of Electrical Engineering & Computer Science, University of Bradford, Bradford, UK.
Krasnogor N; Interdisciplinary Computing and Complex BioSystems (ICOS) Research Group, School of Computing Science, Newcastle University, Newcastle, UK.
Stannett M; Department of Computer Science, University of Sheffield, Sheffield, UK.

Bioinformatics ; 34(18): 3187-3195, 2018 09 15.

Article em En | MEDLINE | ID: mdl-29688313

Assuntos

Modelos Biológicos; Biologia Computacional

Texto completo

Imprimir

XML

PubMed Links

Buscar no Google

Texto completo: 1 Base de dados: MEDLINE Assunto principal: Modelos Biológicos Tipo de estudo: Prognostic_studies Idioma: En Revista: Bioinformatics Assunto da revista: INFORMATICA MEDICA Ano de publicação: 2018 Tipo de documento: Article País de afiliação: Reino Unido

Texto completo

Imprimir

XML

PubMed Links

Buscar no Google