A Formal Approach for Scalable Simulation of Gastric ICC Electrophysiology

Luman Wang, Avinash Malik, Partha S. Roop, Leo K. Cheng, Niranchan Paskaranandavadivel. A Formal Approach for Scalable Simulation of Gastric ICC Electrophysiology. IEEE Trans. Biomed. Engineering, 66(12):3320-3329, 2019. [doi]

Abstract

Abstract is missing.