@inproceedings{bibcite_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{\`o} 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},
}