Formal Verification of Biological Systems with Highly Dynamic Creation and Destruction
SOUEIDAN, Hayssam
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Models and Algorithms for the Genome [MAGNOME]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Models and Algorithms for the Genome [MAGNOME]
SOUEIDAN, Hayssam
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Models and Algorithms for the Genome [MAGNOME]
< Réduire
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Models and Algorithms for the Genome [MAGNOME]
Langue
en
Communication dans un congrès
Ce document a été publié dans
Yeast Systems Biology 1st Workshop, 2006, Vienna.
Origine
Importé de halUnités de recherche