An operational semantics for activity diagrams using SMV

Research output: Book/Report › Report › peer-review

Original language	English
Place of Publication	Aachen
Publisher	RWTH Aachen, Department of Computer Science
State	Published - 12 Jul 2011
Externally published	Yes

Name	Aachener Informatik-Berichte
Volume	2011,7

Name	Technical report / Department of Computer Science, RWTH Aachen

Access to Document

@book{780e1d0cd0734b5b8854e38559b59bdb,

title = "An operational semantics for activity diagrams using SMV",

author = "Shahar Maoz and Ringert, \{Jan Oliver\} and Bernhard Rumpe",

year = "2011",

month = jul,

day = "12",

language = "אנגלית",

series = "Aachener Informatik-Berichte",

publisher = "RWTH Aachen, Department of Computer Science",

}

TY - BOOK

T1 - An operational semantics for activity diagrams using SMV

AU - Maoz, Shahar

AU - Ringert, Jan Oliver

AU - Rumpe, Bernhard

PY - 2011/7/12

Y1 - 2011/7/12

M3 - ???researchoutput.researchoutputtypes.bookanthology.commissioned???

T3 - Aachener Informatik-Berichte

BT - An operational semantics for activity diagrams using SMV

PB - RWTH Aachen, Department of Computer Science

CY - Aachen

ER -