@misc{indiciaeac6b38d84270,
  title = {BPPChecker: An SMT-based Model Checker on Basic Parallel Processes(Full Version)},
  author = {Ying Zhao and Jinhao Tan and Guoqiang Li},
  year = {2021},
  url = {https://arxiv.org/abs/2110.09414},
  note = {Source identifier: 2110.09414}
}