If you made any changes in Pure these will be visible here soon.

Research Output 2010 2019

Filter
Poster
2011

Modeling biological pathway dynamics with timed automata

Schivo, S., Scholma, J., Wanders, B., Post, J. N., Karperien, H. B. J., van der Vet, P. E., Langerak, R. & van de Pol, J., 2011, p. --.

Research output: Contribution to conferencePosterAcademic

Model checking
Phosphorylation
Petri nets
Experiments
Chemical activation