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

Your browser does not support JavaScript!

To use all the features of this page, you need JavaScript!<br> Please update your browser or enable JavaScript in your settings.

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

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

Export

All authors

Müllner, Nils and Theel, Oliver and Fränzle, Martin

Journal

Journal of Computer and System Sciences (JCSS)

Publishing date

01 / 2013

Type of Publication

article

Publisher

Elsevier Science Publishers B. V.

Projects

MoVeS
Modeling, Verification and Control of complex Systems: From Foundations to Power Network Appliances

OFFIS Autoren

Martin Fränzle

Martin Fränzle

Privacy Data Transparency Contact Legals