TY  - RPRT
TI  - Formal Modeling and Analysis of Pancreatic Cancer Microenvironment
AU  - Qinsi Wang
AU  - Natasa Miskov-Zivanov
AU  - Bing Liu
AU  - James R. Faeder
AU  - Michael Lotze
AU  - Edmund M. Clarke
PY  - 2016
UR  - https://arxiv.org/abs/1606.03138
ID  - 1606.03138
ER  -