@misc{indiciae1a3ecfd69c49,
  title = {Evaluating Massively Parallel Algorithms for DFA Minimisation, Equivalence Checking and Inclusion Checking},
  author = {Jan Heemstra and Jan Martens and Anton Wijs},
  year = {2026},
  url = {https://arxiv.org/abs/2508.20735},
  note = {Source identifier: 2508.20735}
}