Islam, M. A., Murthy, A., Bartocci, E., Cherry, E. M., Fenton, F. H., Glimm, J., et al. (2015). Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation. Theoretical Computer Science, 599C. (Original work published 2015)
