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

Ihr Browser unterstützt kein JavaScript!

Um alle Funktionen dieser Seite nutzen zu können, benötigen Sie JavaScript!<br> Bitte aktualisieren Sie Ihren Browser oder aktivieren Sie JavaScript in den Einstellungen.

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

Alle Autoren

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

Zeitschrift

Journal of Computer and System Sciences (JCSS)

Erscheinungsdatum

01 / 2013

Publikationstyp

article

Verlag

Elsevier Science Publishers B. V.

Projekte

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

OFFIS Autoren

Martin Fränzle

Martin Fränzle

Datenschutz Datentransparenz Kontakt Impressum