@misc{indiciae0f4e98959ee3,
  title = {Language-based Abstractions for Dynamical Systems},
  author = {Andrea Vandin},
  year = {2017},
  doi = {10.4204/eptcs.250.2},
  url = {https://arxiv.org/abs/1707.04254},
  note = {Source identifier: 1707.04254}
}