@inproceedings{SterinWoods2020,
  author    = {{Stérin, Tristan and Woods, Damien}},
  title     = {{The Collatz Process Embeds a Base Conversion Algorithm}},
  booktitle = {{RP2020: 14th International Conference on Reachability Problems}},
  publisher = {{Springer}},
  year      = {{2020}},
  volume    = {{12448}},
  pages     = {{131--147}},
  doi       = {{10.1007/978-3-030-61739-4_9}},
  url       = {{https://arxiv.org/abs/2007.06979}},
  editor    = {{Schmitz, Sylvain and Potapov, Igor}},
  series    = {{LNCS}},
}