Correctness of Model-based Component Composition without State Explosion

Paul C. Attie, David H. Lorenz

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageEnglish
Title of host publicationProceedgins of the ECOOP 2003 Workshop on Correctness of Model-based Software Composition (CMC)
EditorsRagnhild Van Der Straeten, Andreas Speck, Elke Pulvermueller, Matthias Clauss, Andreas Pleuss
Place of PublicationDarmstadt, Germany
Number of pages8
StatePublished - 1 Jul 2003

Cite this