Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Scott A. Smolka, Radu Grosu. Modeling and simulation of cardiac tissue using hybrid I/O automata. Theoretical Computer Science, 410(33-34):3149-3165, 2009. [doi]
@article{BartocciCBESG09,
title = {Modeling and simulation of cardiac tissue using hybrid I/O automata},
author = {Ezio Bartocci and Flavio Corradini and Maria Rita Di Berardini and Emilia Entcheva and Scott A. Smolka and Radu Grosu},
year = {2009},
doi = {10.1016/j.tcs.2009.02.042},
url = {http://dx.doi.org/10.1016/j.tcs.2009.02.042},
tags = {modeling},
researchr = {https://researchr.org/publication/BartocciCBESG09},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {410},
number = {33-34},
pages = {3149-3165},
}