Title: Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension.
Authors: Li C, Nagasaki M, Ueno K, Miyano S
Journal: BMC Syst Biol
Published: 2009
Volume: 3
Pages: 42