@misc{indiciaed82fb0a7e323,
  title = {Static Analysis of Communicating Processes using Symbolic Transducers},
  author = {Vincent Botbol and Emmanuel Chailloux and Tristan Le Gall},
  year = {2016},
  url = {https://arxiv.org/abs/1611.07812},
  note = {Source identifier: 1611.07812}
}