%0 Journal Article %1 journals/tbe/WangMRCP19 %A Wang, Luman %A Malik, Avinash %A Roop, Partha S. %A Cheng, Leo K. %A Paskaranandavadivel, Niranchan %D 2019 %J IEEE Trans. Biomed. Eng. %K dblp %N 12 %P 3320-3329 %T A Formal Approach for Scalable Simulation of Gastric ICC Electrophysiology. %U http://dblp.uni-trier.de/db/journals/tbe/tbe66.html#WangMRCP19 %V 66

@article{journals/tbe/WangMRCP19, added-at = {2020-09-02T00:00:00.000+0200}, author = {Wang, Luman and Malik, Avinash and Roop, Partha S. and Cheng, Leo K. and Paskaranandavadivel, Niranchan}, biburl = {https://www.bibsonomy.org/bibtex/2e1b3827705e6c17082501bea5601cbc5/dblp}, ee = {https://www.wikidata.org/entity/Q92353047}, interhash = {708dedf39dc7e65fff83cb87268cfe35}, intrahash = {e1b3827705e6c17082501bea5601cbc5}, journal = {IEEE Trans. Biomed. Eng.}, keywords = {dblp}, number = 12, pages = {3320-3329}, timestamp = {2020-09-09T13:11:49.000+0200}, title = {A Formal Approach for Scalable Simulation of Gastric ICC Electrophysiology.}, url = {http://dblp.uni-trier.de/db/journals/tbe/tbe66.html#WangMRCP19}, volume = 66, year = 2019 }