Biblio

Found 1 results
Filters: Keyword is hybrid systems and Author is Mereacre, Alexandru  [Clear All Filters]
2014
Huang Z, Fan C, Mereacre A, Mitra S, Kwiatkowska M.  2014.  Invariant verification of nonlinear hybrid automata networks of cardiac cells. Computer Aided Verification - 26th International Conference, (CAV). 8559 LNCS:373–390.