@misc{indiciaef42774e86ec6,
  title = {Modeling and Reasoning About Wireless Networks: A Graph-based Calculus Approach},
  author = {Shichao Liu and Ying Jiang},
  year = {2017},
  url = {https://arxiv.org/abs/1701.02526},
  note = {Source identifier: 1701.02526}
}