Formal Verification of Biological Systems with Highly Dynamic Creation and Destruction - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Formal Verification of Biological Systems with Highly Dynamic Creation and Destruction

Hayssam Soueidan
  • Fonction : Auteur
  • PersonId : 857050
Laboratoire Bordelais de Recherche en Informatique
Models and Algorithms for the Genome

Domaines

Bio-informatique [q-bio.QM] Bio-Informatique, Biologie Systémique [q-bio.QM]

Hayssam Soueidan  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00407479

Soumis le : vendredi 24 juillet 2009-17:48:58

Dernière modification le : lundi 5 juin 2023-16:52:11

Fichier non déposé

Dates et versions

hal-00407479 , version 1 (24-07-2009)

Identifiants

  • HAL Id : hal-00407479 , version 1

Citer

Hayssam Soueidan. Formal Verification of Biological Systems with Highly Dynamic Creation and Destruction. Yeast Systems Biology 1st Workshop, 2006, Vienna, Austria. ⟨hal-00407479⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA LABRI INRIA2
81 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More