Modelling biological pathway dynamics with Timed Automata

Stefano Schivo, Jetse Scholma, B. Wanders, R.A. Urquidi Camacho, P.E. van der Vet, Hermanus Bernardus Johannes Karperien, Romanus Langerak, Jan Cornelis van de Pol, Janine Nicole Post

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