TY  - RPRT
TI  - The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
AU  - Thomas Neele
AU  - Antti Valmari
AU  - Tim A. C. Willemse
PY  - 2019
DO  - 10.1007/978-3-030-45231-5_25
UR  - https://arxiv.org/abs/1910.09829
ID  - 1910.09829
ER  -