Correctness of Model-based Component Composition without State Explosion

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Proceedgins of the ECOOP 2003 Workshop on Correctness of Model-based Software Composition (CMC)
Editors	Ragnhild Van Der Straeten, Andreas Speck, Elke Pulvermueller, Matthias Clauss, Andreas Pleuss
Place of Publication	Darmstadt, Germany
Pages	37-44
Number of pages	8
State	Published - 1 Jul 2003

Cite this

@inproceedings{d890cb6877394389ada809b380fcc08e,

title = "Correctness of Model-based Component Composition without State Explosion",

author = "Attie, {Paul C.} and Lorenz, {David H.}",

year = "2003",

month = jul,

day = "1",

language = "אנגלית",

pages = "37--44",

editor = "Straeten, {Ragnhild Van Der} and Andreas Speck and Elke Pulvermueller and Matthias Clauss and Andreas Pleuss",

booktitle = "Proceedgins of the ECOOP 2003 Workshop on Correctness of Model-based Software Composition (CMC)",

}

Correctness of Model-based Component Composition without State Explosion. / Attie, Paul C.; Lorenz, David H.
Proceedgins of the ECOOP 2003 Workshop on Correctness of Model-based Software Composition (CMC). ed. / Ragnhild Van Der Straeten; Andreas Speck; Elke Pulvermueller; Matthias Clauss; Andreas Pleuss. Darmstadt, Germany, 2003. p. 37-44.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Correctness of Model-based Component Composition without State Explosion

AU - Attie, Paul C.

AU - Lorenz, David H.

PY - 2003/7/1

Y1 - 2003/7/1

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

SP - 37

EP - 44

BT - Proceedgins of the ECOOP 2003 Workshop on Correctness of Model-based Software Composition (CMC)

A2 - Straeten, Ragnhild Van Der

A2 - Speck, Andreas

A2 - Pulvermueller, Elke

A2 - Clauss, Matthias

A2 - Pleuss, Andreas

CY - Darmstadt, Germany

ER -