Biblio
Found 1 results
Filters: Keyword is Biological networks and Author is Mereacre, Alexandru [Clear All Filters]
.
2014. Invariant verification of nonlinear hybrid automata networks of cardiac cells. Computer Aided Verification - 26th International Conference, (CAV). 8559 LNCS:373–390.