TY  - RPRT
TI  - Model Checking Tap Withdrawal in C. Elegans
AU  - Md. Ariful Islam
AU  - Richard DeFrancisco
AU  - Chuchu Fan
AU  - Radu Grosu
AU  - Sayan Mitra
AU  - Scott A. Smolka
PY  - 2015
UR  - https://arxiv.org/abs/1503.06480
ID  - 1503.06480
ER  -