Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2013
2013
2013
2013

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 2 publications
(1 citation statement)
references
References 26 publications
0
1
0
Order By: Relevance
“…EMs are typically specified through formal languages based either on process algebras (e.g. [10,12,11,25,3]) or other formalisms such as logic [9] or rewriting logic [14], constraint programming [21,13] or Petri nets [6]. These models can be used for analyzing either static, qualitative properties of biological systems [7] or their quantitative, dynamical behaviour.…”
Section: Introductionmentioning
confidence: 99%
“…EMs are typically specified through formal languages based either on process algebras (e.g. [10,12,11,25,3]) or other formalisms such as logic [9] or rewriting logic [14], constraint programming [21,13] or Petri nets [6]. These models can be used for analyzing either static, qualitative properties of biological systems [7] or their quantitative, dynamical behaviour.…”
Section: Introductionmentioning
confidence: 99%