Skip to Main content Skip to Navigation
Book sections

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 - ENS Paris, 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
Document type :
Book sections
Complete list of metadata
https://hal.inria.fr/inria-00527981
Contributor : Jérôme Feret Connect in order to contact the contributor
Submitted on : Wednesday, October 20, 2010 - 5:13:16 PM
Last modification on : Thursday, March 17, 2022 - 10:08:35 AM

Identifiers

Collections

UNIV-PARIS7 | ENS-PARIS | PPS | CNRS | INRIA | INRIA2 | PSL | UNIV-PARIS

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

137

 

Contact                    Legal Notice                    Personal Data