@inproceedings{7,
  keywords = {dblp},
  author = {Md. Islam and Greg Byrne and Soonho Kong and Edmund Clarke and Rance Cleaveland and Flavio Fenton and Radu Grosu and Paul Jones and Scott Smolka and Ezio Bartocci and Pietro Liò and Nicola Paoletti},
  title = {Bifurcation Analysis of Cardiac Alternans Using δ -Decidability.},
  year = {2016},
  journal = {CMSB},
  publisher = {Springer},
  isbn = {978-3-319-45176-3},
  url = {http://dblp.uni-trier.de/db/conf/cmsb/cmsb2016.html#IslamBKCCFGJS16},
  language = {eng},
}