Formal Modelling of C. elegans Development. A Scenario-Based Approach (English)
- New search for: Kam, N.
- New search for: Harel, D.
- New search for: Kugler, H.
- New search for: Marelly, R.
- New search for: Pnueli, A.
- New search for: Hubbard, J. A.
- New search for: Stern, M. J.
- New search for: Kam, N.
- New search for: Harel, D.
- New search for: Kugler, H.
- New search for: Marelly, R.
- New search for: Pnueli, A.
- New search for: Hubbard, J. A.
- New search for: Stern, M. J.
- New search for: Ciobanu, G.
- New search for: Rozenberg, G.
In:
Modelling in molecular biology
;
151-174
-
ISBN:
- Conference paper / Print
-
Title:Formal Modelling of C. elegans Development. A Scenario-Based Approach
-
Contributors:Kam, N. ( author ) / Harel, D. ( author ) / Kugler, H. ( author ) / Marelly, R. ( author ) / Pnueli, A. ( author ) / Hubbard, J. A. ( author ) / Stern, M. J. ( author ) / Ciobanu, G. / Rozenberg, G.
-
Conference:Workshop, Modelling in molecular biology ; 2002 ; Singapore
-
Published in:Modelling in molecular biology ; 151-174
-
Publisher:
- New search for: London
-
Place of publication:Berlin , Springer, , 2004.
-
Size:24 pages
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Stoichiometric Foundation of Large-Scale Biochemical System AnalysisBeard, D. A. / Qian, H. / Bassingthwaighte, J. B. et al.
- 21
-
Modelling Stochastic Clonal InterferenceCampos, P. R. A. / Adami, C. / Wilke, C. O. et al.
- 39
-
Software Verification of Biomolecular SystemsCiobanu, G. et al.
- 59
-
Kinetic Modelling as a Modern Technology to Explore and Modify Living CellsDemin, O. V. / Lebedeva, G. V. / Kolupaev, A. G. / Zobova, E. A. / Plyusnina, T. Y. / Lavrova, A. I. / Dubinsky, A. / Goryacheva, E. A. / Tobin, F. / Goryanin, I. I. et al.
- 105
-
Modelling Gene Assembly in CiliatesEhrenfeucht, A. / Harju, T. / Petre, I. / Prescott, D. M. / Rozenberg, G. et al.
- 125
-
Towards Molecular Programming - a Personal Report on DNA8 and Molecular ComputingHagiya, M. et al.
- 141
-
Molecular Information Theory: Solving the Mysteries of DNAJi, S. et al.
- 151
-
Formal Modelling of C. elegans Development. A Scenario-Based ApproachKam, N. / Harel, D. / Kugler, H. / Marelly, R. / Pnueli, A. / Hubbard, J. A. / Stern, M. J. et al.
- 175
-
P Systems with Symport / Antiport Rules. A SurveyMartin-Vide, C. / Paun, G. et al.
- 193
-
Mathematical Modelling of the Immune SystemMotta, S. / Brusic, V. et al.
- 219
-
The pi-calculus as an Abstraction for Biomolecular SystemsRegev, A. / Shapiro, E. et al.
- 267
-
The Topology of Evolutionary BiologyStadler, B. M. R. / Stadler, P. F. et al.
- 287
-
Models of Genome EvolutionZhou, Y. / Mishra, B. et al.