The system will be going down for regular maintenance. Please save your work and logout.
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]
< Reduce
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Models and Algorithms for the Genome [MAGNOME]
Language
en
Communication dans un congrès
This item was published in
Yeast Systems Biology 1st Workshop, 2006, Vienna.
Origin
Hal imported