@article{Ios04,
title = {Symmetry reductions for model checking of concurrent dynamic software },
author = {Iosif, Radu},
year = {2004},
journal = {STTT},
number = {4},
pages = {302-319},
volume = {6},
team = {DCS,PACSS},
}