Unbounded Verification Results by Finite-State Compositional Techniques: 10any States and Beyond. - Antti Valmari; Ilkka Kokkarinen (ACSD, 1998)

Relaxed Visibility Enhances Partial Order Reduction. - Doron A. Peled; Antti Valmari; Ilkka Kokkarinen (Formal Methods Syst. Des., 2001)