Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
   Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node1  Trennstrich  Switch to english language

Publikation: Teil einer Monographie/eines Konferenzbandes

Modeling and formally checking workflow properties using UML and OCL


Grunddaten

Titel Modeling and formally checking workflow properties using UML and OCL
Veröffentlicht in Perspectives in Business Informatics Research : 9th International Conference, BIR 2010, Rostock, Germany, September 29 - October 1, 2010, proceedings. - Berlin : Springer
Erscheinungsjahr 2010
Seiten (von – bis) 130 – 145
Jahr 2010
Publikationsform Druckschrift
Publikationsart Teil einer Monographie/eines Konferenzbandes
Sprache Englisch
Letzte Änderung 17.05.2019 17:44:28
Bearbeitungsstatus durch UB Rostock abschließend validiert
Dauerhafte URL http://purl.uni-rostock.de/fodb/pub/38960
Links zu Katalogen Diese Publikation in der Universitätsbibliographie Diese Publikation im GBV-Katalog

Autoren

Brüning, Jens
Gogolla, Martin
Forbrig, Peter Link zur UB Rostock Link zum GBV-Katalog

Einrichtung

IEF/Bereich Informatik