Modeling biological pathway dynamics with timed automata

Stefano Schivo; Jetse Scholma; Brend Wanders; Janine N. Post; Marcel Karperien; Paul E. van der Vet; Rom Langerak; Jaco van de Pol

Modeling biological pathway dynamics with timed automata

Stefano Schivo
, Jetse Scholma
, Brend Wanders
, Janine N. Post
, Marcel Karperien
, Paul E. van der Vet
, Rom Langerak
, Jaco van de Pol

Formal Methods and Tools

Research output: Contribution to conference › Poster › Other research output

Original language	English
Number of pages	1
Publication status	Published - 2011
Event	EMBO\|EMBL Symposium on Structure and Dynamics of Protein Networks 2011 - Heidelberg, Germany Duration: 13 Oct 2011 → 16 Oct 2011

Conference

Conference	EMBO\|EMBL Symposium on Structure and Dynamics of Protein Networks 2011
Country/Territory	Germany
City	Heidelberg
Period	13/10/11 → 16/10/11

1 Article

Modeling Biological Pathway Dynamics With Timed Automata
Schivo, S., Scholma, J., Wanders, B., Urquidi Camacho, R. A., van der Vet, P. E., Karperien, M., Langerak, R., van de Pol, J. & Post, J. N., May 2014, In: IEEE journal of biomedical and health informatics. 18, 3, p. 832-839 7 p.
Research output: Contribution to journal › Article › Academic › peer-review

Open Access
File
15 Link opens in a new tab Citations (Scopus)

62 Downloads (Pure)

Cite this

@conference{0b9c71e73dae4580b479610f34a4e51a,

title = "Modeling biological pathway dynamics with timed automata",

author = "Stefano Schivo and Jetse Scholma and Brend Wanders and Post, \{Janine N.\} and Marcel Karperien and \{van der Vet\}, \{Paul E.\} and Rom Langerak and \{van de Pol\}, Jaco",

year = "2011",

language = "English",

note = "EMBO|EMBL Symposium on Structure and Dynamics of Protein Networks 2011 ; Conference date: 13-10-2011 Through 16-10-2011",

}

TY - CONF

T1 - Modeling biological pathway dynamics with timed automata

AU - Schivo, Stefano

AU - Scholma, Jetse

AU - Wanders, Brend

AU - Post, Janine N.

AU - Karperien, Marcel

AU - van der Vet, Paul E.

AU - Langerak, Rom

AU - van de Pol, Jaco

PY - 2011

Y1 - 2011

M3 - Poster

T2 - EMBO|EMBL Symposium on Structure and Dynamics of Protein Networks 2011

Y2 - 13 October 2011 through 16 October 2011

ER -

Modeling biological pathway dynamics with timed automata

Conference

Research output

Modeling Biological Pathway Dynamics With Timed Automata

Cite this