TY - CPAPER KW - dblp AU - Md. Islam AU - Greg Byrne AU - Soonho Kong AU - Edmund Clarke AU - Rance Cleaveland AU - Flavio Fenton AU - Radu Grosu AU - Paul Jones AU - Scott Smolka AU - Ezio Bartocci AU - Pietro Liò AU - Nicola Paoletti BT - CMSB LA - eng PB - Springer PY - 2016 SN - 978-3-319-45176-3 T2 - CMSB TI - Bifurcation Analysis of Cardiac Alternans Using δ -Decidability. UR - http://dblp.uni-trier.de/db/conf/cmsb/cmsb2016.html#IslamBKCCFGJS16 ER -