"Symmetry and Reduced Symmetry in Model Checking."

A. Prasad Sistla, Patrice Godefroid (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics