Rule Based Modeling and Model Refinement - INRIA - Institut National de Recherche en Informatique et en Automatique

Documentation
Français (FR)

Anglais (EN)

Chapitre D'ouvrage Année : 2010

Rule Based Modeling and Model Refinement

(1) , (1) , (2) , (3) , (4)

1
2
3
4

Elaine Murphy

Fonction : Auteur
PersonId : 880900

Laboratory for the Foundations of Computer Science [Edinburgh]

Vincent Danos

Fonction : Auteur
PersonId : 171295
IdHAL : vincent-danos
IdRef : 113149557

Laboratory for the Foundations of Computer Science [Edinburgh]

Jérôme Feret

Fonction : Auteur
PersonId : 749591
IdHAL : jerome-feret
ORCID : 0000-0002-2601-2785

Abstract Interpretation and Static Analysis

Jean Krivine

Fonction : Auteur
PersonId : 114
IdHAL : jkrivine
IdRef : 114283311

Harvard Medical School [Boston]

Russell Harmer

Fonction : Auteur
PersonId : 12510
IdHAL : russharmer
ORCID : 0000-0002-0817-1029
IdRef : 202928640

Preuves, Programmes et Systèmes

Domaines

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

Jérôme Feret : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00527981

Soumis le : mercredi 20 octobre 2010-17:13:16

Dernière modification le : jeudi 7 mars 2024-12:32:05

Dates et versions

inria-00527981 , version 1 (20-10-2010)

Identifiants

HAL Id : inria-00527981 , version 1
DOI : 10.1002/9780470556757.ch4

Citer

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 XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 ENS-PARIS PPS CNRS INRIA INRIA2 PSL

145 Consultations

0 Téléchargements

Altmetric

Partager