Title: Online model checking approach based parameter estimation to a neuronal fate decision simulation model in Caenorhabditis elegans with hybrid functional Petri net with extension.
Authors: Li C, Nagasaki M, Koh CH, Miyano S
Journal: Mol Biosyst
Published: 2011-05-03
Volume: 7
Pages: 1576-92