@article{Muellner2013,Author = {Müllner, Nils and Theel, Oliver and Fränzle, Martin},Title = {Combining Decomposition and Reduction for the State Space Analysis of Self-Stabilizing Systems},Journal = {Journal of Computer and System Sciences (JCSS)},Year = {2013},Month = {01},Publisher = {Elsevier Science Publishers B. V.},type = {article}}@COMMENT{Bibtex file generated on }