Approximate bisimulations for sodium channel dynamics

Abhishek Murthy, Md Ariful Islam, Ezio Bartocci, Elizabeth M. Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

10 Scopus citations


Dive into the research topics of 'Approximate bisimulations for sodium channel dynamics'. Together they form a unique fingerprint.


Engineering & Materials Science