@misc{indiciae6cd50141c130,
  title = {Diagnosability of labeled \$\textbackslash{}mathfrak\{D\_p\}\$ automata},
  author = {Kuize Zhang and Joerg Raisch},
  year = {2024},
  url = {https://arxiv.org/abs/2109.07125},
  note = {Source identifier: 2109.07125}
}