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]
< Leer menos
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Models and Algorithms for the Genome [MAGNOME]
Idioma
en
Communication dans un congrès
Este ítem está publicado en
Yeast Systems Biology 1st Workshop, 2006, Vienna.
Orígen
Importado de HalCentros de investigación