TY - JOUR AU - Md. Islam AU - A. Murthy AU - E. Bartocci AU - E. Cherry AU - F. Fenton AU - J. Glimm AU - S. Smolka AU - R. Grosu BT - Theoretical Computer Science DA - 09/2015 LA - eng PY - 2015 SE - 34 T2 - Theoretical Computer Science TI - Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation VL - 599C ER -