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]
@inproceedings{MariaFS09,
title = {On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle},
author = {Elisabetta De Maria and François Fages and Sylvain Soliman},
year = {2009},
doi = {10.1007/978-3-642-03845-7_10},
url = {http://dx.doi.org/10.1007/978-3-642-03845-7_10},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/MariaFS09},
cites = {0},
citedby = {0},
pages = {142-157},
booktitle = {Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings},
editor = {Pierpaolo Degano and Roberto Gorrieri},
volume = {5688},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-03844-0},
}