@misc{indiciae9ba6bdbb651e,
  title = {The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction},
  author = {Thomas Neele and Antti Valmari and Tim A. C. Willemse},
  year = {2019},
  doi = {10.1007/978-3-030-45231-5\_25},
  url = {https://arxiv.org/abs/1910.09829},
  note = {Source identifier: 1910.09829}
}