@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 }