| Title | Invariant verification of nonlinear hybrid automata networks of cardiac cells |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Huang Z, Fan C, Mereacre A, Mitra S, Kwiatkowska M |
| Conference Name | Computer Aided Verification - 26th International Conference, (CAV) |
| Publisher | Springer, Cham |
| Conference Location | Vienna, Austria |
| ISBN Number | 9783319088662 |
| Keywords | Biological networks, hybrid systems, invariants, verification |
| URL | http://link.springer.com/10.1007/978-3-319-08867-9{\_}25 |
| DOI | 10.1007/978-3-319-08867-9_25 |
Invariant verification of nonlinear hybrid automata networks of cardiac cells
Submitted by chuchu@mit.edu on