TY - JOUR AU - Md Islam AU - Rance Cleaveland AU - Flavio Fenton AU - Radu Grosu AU - Paul Jones AU - Scott Smolka BT - Theoretical Computer Science LA - eng PY - 2019 EP - 158–169 T2 - Theoretical Computer Science TI - Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans VL - 765 ER -