![](/img/cover-not-exists.png)
AIP Conference Proceedings [AIP 2011 INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL MODELS FOR LIFE SCIENCES (CMLS-11) - Toyama City, (Japan) (11–13 October 2011)] - Model Checking of a Diabetes-Cancer Model
Gong, Haijun, Zuliani, Paolo, Clarke, Edmund M., Pham, Tuan D., Zhou, Xiaobo, Tanaka, Hiroshi, Oyama-Higa, Mayumi, Jiang, Xiaoyi, Sun, Changming, Kowalski, Jeanne, Jia, XiupingYear:
2011
Language:
english
DOI:
10.1063/1.3596647
File:
PDF, 369 KB
english, 2011