Afficher la notice abrégée

hal.structure.identifierLaboratoire Bordelais de Recherche en Informatique [LaBRI]
hal.structure.identifierModels and Algorithms for the Genome [MAGNOME]
dc.contributor.authorSOUEIDAN, Hayssam
dc.date.accessioned2024-04-15T09:51:03Z
dc.date.available2024-04-15T09:51:03Z
dc.date.created2006
dc.date.conference2006
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/198398
dc.language.isoen
dc.title.enFormal Verification of Biological Systems with Highly Dynamic Creation and Destruction
dc.typeCommunication dans un congrès
dc.subject.halInformatique [cs]/Bio-informatique [q-bio.QM]
dc.subject.halSciences du Vivant [q-bio]/Bio-Informatique, Biologie Systémique [q-bio.QM]
bordeaux.hal.laboratoriesLaboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800*
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.institutionCNRS
bordeaux.conference.titleYeast Systems Biology 1st Workshop
bordeaux.countryAT
bordeaux.conference.cityVienna
bordeaux.peerReviewedoui
hal.identifierhal-00407479
hal.version1
hal.invitednon
hal.proceedingsnon
hal.popularnon
hal.audienceNon spécifiée
hal.origin.linkhttps://hal.archives-ouvertes.fr//hal-00407479v1
bordeaux.COinSctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.au=SOUEIDAN,%20Hayssam&rft.genre=unknown


Fichier(s) constituant ce document

FichiersTailleFormatVue

Il n'y a pas de fichiers associés à ce document.

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée