@article{bibcite_73,
  author = {Md Islam and Rance Cleaveland and Flavio Fenton and Radu Grosu and Paul Jones and Scott Smolka},
  title = {Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans},
  year = {2019},
  journal = {Theoretical Computer Science},
  volume = {765},
  pages = {158{\textendash}169},
  language = {eng},
}