Formal proof of theorems on genetic regulatory networks

Résumé : Nous décrivons la vérification formelle de deux théorèmes de la biologie théorique, reliant les propriétés des graphes d'interaction avec les propriétés des graphes de transition.
Type de document :
Communication dans un congrès
SYNASC'09, Sep 2009, Timisoara, Romania. IEEE, 2009, Synasc 2009, 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Liste complète des métadonnées

https://hal.inria.fr/inria-00504065
Contributeur : Yves Bertot <>
Soumis le : lundi 19 juillet 2010 - 16:58:12
Dernière modification le : lundi 5 octobre 2015 - 17:00:46

Identifiants

  • HAL Id : inria-00504065, version 1

Collections

Citation

Maxime Dénès, Benjamin Lesage, Yves Bertot, Adrien Richard. Formal proof of theorems on genetic regulatory networks. SYNASC'09, Sep 2009, Timisoara, Romania. IEEE, 2009, Synasc 2009, 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. <inria-00504065>

Partager

Métriques

Consultations de la notice

188