@article{paper-ble-automata-learning,
  title = {{Fingerprinting and analysis of Bluetooth devices with automata learning}},
  author = {{Andrea Pferscher} and {Bernhard K. Aichernig}},
  year = {2022},
  url = {https://doi.org/10.1007/s10703-023-00425-y},
  journal = {Formal Methods in System Design},
  doi = {10.1007/s10703-023-00425-y},
  eprint = {2211.16074},
  archivePrefix = {arXiv},
  month = aug
}