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

Elisabetta De Maria, François Fages, Sylvain Soliman. On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle. In Pierpaolo Degano, Roberto Gorrieri, editors, Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings. Volume 5688 of Lecture Notes in Computer Science, pages 142-157, Springer, 2009. [doi]

Abstract

Abstract is missing.