Modelling biological pathway dynamics with Timed Automata. - Stefano Schivo; Jetse Scholma; Brend Wanders; Ricardo A. Urquidi Camacho; Paul E. van der Vet; Marcel Karperien; Rom Langerak; Jaco van de Pol; Janine N. Post (BIBE, 2012)

Modeling Biological Pathway Dynamics With Timed Automata. - Stefano Schivo; Jetse Scholma; Brend Wanders; Ricardo A. Urquidi Camacho; Paul E. van der Vet; Marcel Karperien; Rom Langerak; Jaco van de Pol; Janine N. Post (IEEE J. Biomed. Health Informatics, 2014)