| Original language | English |
|---|---|
| State | Published - 2016 |
Probabilistic reachability analysis of the tap withdrawal circuit in Caenorhabditis elegans
Md Islam, Qinsi Wang, Ramin M Hasani, Edmund M Clarke, Radu Grosu, Scott A Smolka
Research output: Contribution to conference › Paper