Improving the Timed Automata Approach to Biological Pathway Dynamics

R. Langerak; Jaco van de Pol; Janine N. Post; Stefano Schivo

doi:10.1007/978-3-319-63121-9_5

Improving the Timed Automata Approach to Biological Pathway Dynamics

R. Langerak^*, Jaco van de Pol, Janine N. Post, Stefano Schivo

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Original language	English
Title of host publication	Models, Algorithms, Logics and Tools
Editors	Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare
Place of Publication	Cham
Publisher	Springer
Pages	96-111
Number of pages	16
ISBN (Electronic)	978-3-319-63121-9
ISBN (Print)	978-3-319-63120-2
DOIs	https://doi.org/10.1007/978-3-319-63121-9_5
Publication status	Published - 25 Jul 2017
Externally published	Yes

Publication series

Series	Lecture Notes in Computer Science
Volume	10460

Series	Theoretical Computer Science and General Issues (LNCS subseries)
Volume	10460

Keywords

Systems Biology, Timed Automata, ANIMO, Signalling pathway

Access to Document

10.1007/978-3-319-63121-9_5

Cite this

Langerak, R. ; van de Pol, Jaco ; Post, Janine N. et al. / Improving the Timed Automata Approach to Biological Pathway Dynamics. Models, Algorithms, Logics and Tools. editor / Luca Aceto ; Giorgio Bacci ; Giovanni Bacci ; Anna Ingólfsdóttir ; Axel Legay ; Radu Mardare. Cham : Springer, 2017. pp. 96-111 (Lecture Notes in Computer Science, Vol. 10460). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 10460).

@inbook{4deec1a67dfd47ee861468ed4dbcf945,

title = "Improving the Timed Automata Approach to Biological Pathway Dynamics",

keywords = "Systems Biology, Timed Automata, ANIMO, Signalling pathway",

author = "R. Langerak and {van de Pol}, Jaco and Post, {Janine N.} and Stefano Schivo",

year = "2017",

month = jul,

day = "25",

doi = "10.1007/978-3-319-63121-9_5",

language = "English",

isbn = "978-3-319-63120-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "96--111",

editor = "Luca Aceto and Giorgio Bacci and Giovanni Bacci and Anna Ing{\'o}lfsd{\'o}ttir and Axel Legay and Radu Mardare",

booktitle = "Models, Algorithms, Logics and Tools",

}

Langerak, R, van de Pol, J, Post, JN & Schivo, S 2017, Improving the Timed Automata Approach to Biological Pathway Dynamics. in L Aceto, G Bacci, G Bacci, A Ingólfsdóttir, A Legay & R Mardare (eds), Models, Algorithms, Logics and Tools. Springer, Cham, Lecture Notes in Computer Science, vol. 10460, Theoretical Computer Science and General Issues (LNCS subseries), vol. 10460, pp. 96-111. https://doi.org/10.1007/978-3-319-63121-9_5

Improving the Timed Automata Approach to Biological Pathway Dynamics. / Langerak, R.; van de Pol, Jaco; Post, Janine N. et al.
Models, Algorithms, Logics and Tools. ed. / Luca Aceto; Giorgio Bacci; Giovanni Bacci; Anna Ingólfsdóttir; Axel Legay; Radu Mardare. Cham: Springer, 2017. p. 96-111 (Lecture Notes in Computer Science, Vol. 10460). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 10460).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

TY - CHAP

T1 - Improving the Timed Automata Approach to Biological Pathway Dynamics

AU - Langerak, R.

AU - van de Pol, Jaco

AU - Post, Janine N.

AU - Schivo, Stefano

PY - 2017/7/25

Y1 - 2017/7/25

KW - Systems Biology, Timed Automata, ANIMO, Signalling pathway

U2 - 10.1007/978-3-319-63121-9_5

DO - 10.1007/978-3-319-63121-9_5

M3 - Chapter

SN - 978-3-319-63120-2

T3 - Lecture Notes in Computer Science

SP - 96

EP - 111

BT - Models, Algorithms, Logics and Tools

A2 - Aceto, Luca

A2 - Bacci, Giorgio

A2 - Bacci, Giovanni

A2 - Ingólfsdóttir, Anna

A2 - Legay, Axel

A2 - Mardare, Radu

PB - Springer

CY - Cham

ER -

Langerak R, van de Pol J, Post JN, Schivo S. Improving the Timed Automata Approach to Biological Pathway Dynamics. In Aceto L, Bacci G, Bacci G, Ingólfsdóttir A, Legay A, Mardare R, editors, Models, Algorithms, Logics and Tools. Cham: Springer. 2017. p. 96-111. (Lecture Notes in Computer Science, Vol. 10460). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 10460). doi: 10.1007/978-3-319-63121-9_5

Improving the Timed Automata Approach to Biological Pathway Dynamics

Publication series

Keywords

Access to Document

Fingerprint

Cite this