SAT-Based Metabolics Pathways Analysis without Compilation

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

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〉

Partager

Métriques

Consultations de la notice

181