Title: Formal Modeling, Simulation and Analysis of C. elegans Development
Authors: Na'aman Kam, Rami Marelly, Hillel Kugler, Irun R Cohen, Amir Pnueli, E Jane Albert Hubbard, David Harel, Michael J Stern
Journal: East Coast Worm Meeting
Published: 2002