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

A Semantics for Distributed Execution of STATEMATE

Export

All authors

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

Publishing date

12 / 2003

Type of Publication

article

Publisher

Springer-Verlag London Ltd

Pages

390-405

Editor

Springer-Verlag London Ltd

OFFIS Autoren

Martin Fränzle

Martin Fränzle

Privacy Data Transparency Contact Legals