The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction.

Thomas Neele, Antti Valmari, Tim A. C. Willemse

Browse the full FOSSACS paper archive.