@misc{indiciae63012a495ac2,
  title = {Conformance Checking for Pushdown Reactive Systems based on Visibly Pushdown Languages},
  author = {Adilson Luiz Bonifacio},
  year = {2023},
  url = {https://arxiv.org/abs/2308.07177},
  note = {Source identifier: 2308.07177}
}