Rule Based Modeling and Model Refinement

Elaine Murphy 1 Vincent Danos 1 Jérôme Feret 2 Jean Krivine 3 Russell Harmer 4
1 LFCS - Laboratory for the Foundations of Computer Science [Edinburgh]
2 ABSTRACTION - Abstract Interpretation and Static Analysis
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
3 HMS - Harvard Medical School [Boston]
4 PPS - Preuves, Programmes et Systèmes
Type de document :
Chapitre d'ouvrage
H. Lodhi and S. Muggleton. Elements of Computational Systems Biology, John Wiley & Sons, pp.83--114, 2010, Wiley Book Series on Bioinformatics, 978-0470180938. 〈10.1002/9780470556757.ch4〉
Liste complète des métadonnées
https://hal.inria.fr/inria-00527981
Contributeur : Jérôme Feret <>
Soumis le : mercredi 20 octobre 2010 - 17:13:16
Dernière modification le : jeudi 15 novembre 2018 - 20:26:59

Identifiants

Collections

ENS-PARIS | INRIA | PPS | PSL | USPC | INRIA-ROCQ

Citation

Elaine Murphy, Vincent Danos, Jérôme Feret, Jean Krivine, Russell Harmer. Rule Based Modeling and Model Refinement. H. Lodhi and S. Muggleton. Elements of Computational Systems Biology, John Wiley & Sons, pp.83--114, 2010, Wiley Book Series on Bioinformatics, 978-0470180938. 〈10.1002/9780470556757.ch4〉. 〈inria-00527981〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

279

Contact


archive-ouverte@inria.fr