DMCA

Invariant verification of nonlinear hybrid automata networks of cardiac cells

Cached

Download Links

by Zhenqi Huang , Chuchu Fan , Ru Mereacre , Sayan Mitra , Marta Kwiatkowska
Citations:2 - 1 self