@inproceedings{Ios02,
title = {Symmetry Reduction Criteria for Software Model Checking },
author = {Iosif, Radu},
year = {2002},
booktitle = {Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings},
pages = {22-41},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2318},
team = {DCS,PACSS},
}