Radu Iosif. Symmetry reductions for model checking of concurrent dynamic software. STTT, 6(4):302-319, 2004. [doi]
@article{Iosif04, title = {Symmetry reductions for model checking of concurrent dynamic software}, author = {Radu Iosif}, year = {2004}, url = {http://www.springerlink.com/index/10.1007/s10009-004-0154-9}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/Iosif04}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {6}, number = {4}, pages = {302-319}, }