36 citations · 113 across the 35 of their papers we have counts for
1 paper · 2 filters
Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan +3
We present what we believe to be the first formal verification of a biologically realistic (nonlinear ODE) model of a neural circuit in a multicellular organism: Tap Withdrawal (TW…