Combining Decomposition and Reduction for the State Space Analysis of Self-Stabilizing Systems

BIB
Müllner, Nils and Theel, Oliver and Fränzle, Martin
Journal of Computer and System Sciences (JCSS)
01 / 2013
article
Elsevier Science Publishers B. V.
MoVeS
Modeling, Verification and Control of complex Systems: From Foundations to Power Network Appliances