| Original language | English |
|---|---|
| Place of Publication | Aachen |
| State | Published - 12 Jul 2011 |
| Externally published | Yes |
Publication series
| Name | Aachener Informatik-Berichte |
|---|---|
| Volume | 2011,7 |
| Name | Technical report / Department of Computer Science, RWTH Aachen |
|---|
An operational semantics for activity diagrams using SMV
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Research output: Book/Report › Report › peer-review