SAT-Based Metabolics Pathways Analysis without Compilation

Sabine Pérès 1 Morterol Martin 1 Laurent Simon 2
1 LRI - Laboratoire de Recherche en Informatique
2 LaBRI - Laboratoire Bordelais de Recherche en Informatique
Type de document :
Communication dans un congrès
Pedro Mendes Joseph Dada Kieran Smallbone. CMSB 2014, Nov 2014, Manchester, United Kingdom. Springer Berlin Heidelberg, Computational Methods in Systems Biology, 2014, LNCS/LNBI
Liste complète des métadonnées
https://hal.inria.fr/hal-01108840
Contributeur : Sabine Peres <>
Soumis le : vendredi 23 janvier 2015 - 15:24:26
Dernière modification le : mardi 24 avril 2018 - 13:52:01

Identifiants

  • HAL Id : hal-01108840, version 1

Collections

LABRI | UNIV-BORDEAUX | UMR8623 | INRIA | LRI-LAHDAK | LRI-BIOINFO

Citation

Sabine Pérès, Morterol Martin, Laurent Simon. SAT-Based Metabolics Pathways Analysis without Compilation. Pedro Mendes Joseph Dada Kieran Smallbone. CMSB 2014, Nov 2014, Manchester, United Kingdom. Springer Berlin Heidelberg, Computational Methods in Systems Biology, 2014, LNCS/LNBI. 〈hal-01108840〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

188

Contact


archive-ouverte@inria.fr