Model checking tap withdrawal in c. Elegans
- Md Ariful Islam
- , Richard De Francisco
- , Chuchu Fan
- , Radu Grosu
- , Sayan Mitra
- , Scott A. Smolka
- Stony Brook University
- University of Illinois at Urbana-Champaign
- TU Wien
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
2
Scopus
citations