320 N. Beneˇsetal.
References
- 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) - 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 - 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