A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness.

Dragan Bosnacki A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness. 89-103 2003 conf/spin/2003 SPIN http://dx.doi.org/10.1007/3-540-44829-2_6 db/conf/spin/spin2003.html#Bosnacki03