Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension

Chen Li, Masao Nagasaki, Kazuko Ueno, Satoru Miyano

Research output: Contribution to journalArticlepeer-review

38 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science

Medicine & Life Sciences