@misc{indiciae44d90aa383c5,
  title = {Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems (technical report)},
  author = {Daniel Stan and Anthony Widjaja Lin},
  year = {2021},
  url = {https://arxiv.org/abs/2102.04361},
  note = {Source identifier: 2102.04361}
}