2 citations · 4 across the 5 of their papers we have counts for
1 paper · 1 filter
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…