@article{neele_detailed_2021,
    title = {{A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction}},
    author = {Neele, Thomas and Valmari, Antti and Willemse, Tim A. C.},
    year = {2021},
    publisher = {},
    journal = {},
    pages = {8:1--8:27},
    volume = {17},
    number = {3},
    doi = {10.46298/lmcs-17(3:8)2021},
}