A Semantics for Distributed Execution of STATEMATE - 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
A Semantics for Distributed Execution of STATEMATE

A Semantics for Distributed Execution of STATEMATE

Export

Alle Autoren

Fränzle, Martin and Niehaus, Jürgen and Metzner, Alexander and Damm, Werner

Erscheinungsdatum

12 / 2003

Publikationstyp

article

Verlag

Springer-Verlag London Ltd

Seiten

390-405

Herausgeber

Springer-Verlag London Ltd

OFFIS Autoren

Martin Fränzle

Martin Fränzle

Datenschutz Datentransparenz Kontakt Impressum