@misc{indiciae8a661c5910c6,
  title = {Formal Modeling and Analysis of Pancreatic Cancer Microenvironment},
  author = {Qinsi Wang and Natasa Miskov-Zivanov and Bing Liu and James R. Faeder and Michael Lotze and Edmund M. Clarke},
  year = {2016},
  url = {https://arxiv.org/abs/1606.03138},
  note = {Source identifier: 1606.03138}
}