hal.structure.identifier	Laboratoire Bordelais de Recherche en Informatique [LaBRI]
hal.structure.identifier	Models and Algorithms for the Genome [MAGNOME]
dc.contributor.author	SOUEIDAN, Hayssam
dc.date.accessioned	2024-04-15T09:51:03Z
dc.date.available	2024-04-15T09:51:03Z
dc.date.created	2006
dc.date.conference	2006
dc.identifier.uri	https://oskar-bordeaux.fr/handle/20.500.12278/198398
dc.language.iso	en
dc.title.en	Formal Verification of Biological Systems with Highly Dynamic Creation and Destruction
dc.type	Communication dans un congrès
dc.subject.hal	Informatique [cs]/Bio-informatique [q-bio.QM]
dc.subject.hal	Sciences du Vivant [q-bio]/Bio-Informatique, Biologie Systémique [q-bio.QM]
bordeaux.hal.laboratories	Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800	*
bordeaux.institution	Université de Bordeaux
bordeaux.institution	Bordeaux INP
bordeaux.institution	CNRS
bordeaux.conference.title	Yeast Systems Biology 1st Workshop
bordeaux.country	AT
bordeaux.conference.city	Vienna
bordeaux.peerReviewed	oui
hal.identifier	hal-00407479
hal.version	1
hal.invited	non
hal.proceedings	non
hal.popular	non
hal.audience	Non spécifiée
hal.origin.link	https://hal.archives-ouvertes.fr//hal-00407479v1
bordeaux.COinS	ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.au=SOUEIDAN,%20Hayssam&rft.genre=unknown

Archivos en el ítem

Archivos	Tamaño	Formato	Ver
No hay archivos asociados a este ítem.

Formal Verification of Biological Systems with Highly Dynamic Creation and Destruction