On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle

Publication
In CMSB 2009: Computational Methods in Systems Biology, pages 142-157