@article{103,
  author = {Md. Islam and A. Murthy and E. Bartocci and E. Cherry and F. Fenton and J. Glimm and S. Smolka and R. Grosu},
  title = {Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation},
  year = {2015},
  journal = {Theoretical Computer Science},
  volume = {599C},
  chapter = {34},
  month = {09/2015},
  language = {eng},
}