Model checking tap withdrawal in c. Elegans

Md Ariful Islam, Richard De Francisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations


Dive into the research topics of 'Model checking tap withdrawal in c. Elegans'. Together they form a unique fingerprint.


Engineering & Materials Science