@misc{indiciaef932e337fad2,
  title = {Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT},
  author = {Thao Dang and Stefan Ratschan},
  year = {2021},
  doi = {10.4204/eptcs.331},
  url = {https://arxiv.org/abs/2101.05256},
  note = {Source identifier: 2101.05256}
}