Computational Methods in Systems Biology

320 N. Beneˇsetal.

References

1. Beneˇs, N., Brim, L., Demko, M., Pastva, S.,ˇSafr ́anek, D.: Pithya: a parallel tool
   for parameter synthesis of piecewise multi-affine dynamical systems. In: Computer
   Aided Verification, CAV 2017. LNCS, Springer-Verlag (2017, to appear)


2. Beneˇs,N.,Brim,L.,Demko,M.,Pastva,S.,ˇSafr ́anek, D.: A model checking app-
   roach to discrete bifurcation analysis. In: Fitzgerald, J., Heitmeyer, C., Gnesi, S.,
   Philippou, A. (eds.) FM 2016. LNCS, vol. 9995, pp. 85–101. Springer, Cham (2016).
   doi:10.1007/978-3-319-48989-6 6


3. Swat, M., Kell, A., Herzel, H.: Bifurcation analysis of the regulatory modules of
   the mammalian G1/S transition. Bioinformatics 20 (10), 1506–1511 (2004). Oxford
   University Press