@misc{indiciaef82aca396e77,
  title = {A Timed Process Algebra for Wireless Networks},
  author = {Emile Bres and Rob van Glabbeek and Peter Höfner},
  year = {2016},
  doi = {10.1007/978-3-662-49498-1\_5},
  url = {https://arxiv.org/abs/1606.03663},
  note = {Source identifier: 1606.03663}
}