@misc{indiciaebc6f34541456,
  title = {Program Dependence Net and On-demand Slicing for Property Verification of Concurrent System and Software},
  author = {Zhijun Ding and Shuo Li and Cheng Chen and Cong He},
  year = {2023},
  url = {https://arxiv.org/abs/2301.11723},
  note = {Source identifier: 2301.11723}
}