KIT | KIT-Bibliothek | Impressum

Validation of business process models

Speck, Andreas; Pulvermueller, Elke; Heuzeroth, Dirk



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Buchaufsatz
Jahr 2003
Sprache Englisch
Identifikator URN: urn:nbn:de:swb:90-AAA31520033
KITopen ID: 3152003
Erscheinungsvermerk In: Correctness of model-based software composition (CMC). Ed.: R. Van Der Straeten. Karlsruhe 2003. S. 75-83. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 2003,13.)
URLs Gesamtwerk
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page