Model Checking Tap Withdrawal in C. Elegans (Q5376911)
From MaRDI portal
scientific article; zbMATH DE number 7057104
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Model Checking Tap Withdrawal in C. Elegans |
scientific article; zbMATH DE number 7057104 |
Statements
Model Checking Tap Withdrawal in C. Elegans (English)
0 references
21 May 2019
0 references
\textit{C. elegans}
0 references
neural circuit model
0 references
