| |
| 2008 | ||
|---|---|---|
| 3 | EE | Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen: Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI. ISBRA 2008: 445-456 |
| 2006 | ||
| 2 | EE | Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen: Data-Flow Analysis as Model Checking Within the jABC. CC 2006: 101-104 |
| 1 | Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen: Datenflussanalyse als Modelchecking im jABC. Software Engineering 2006: 125-130 | |
| 1 | Tiziana Margaria (Tiziana Margaria-Steffen) | [1] [2] [3] |
| 2 | Bernhard Steffen | [1] [2] [3] |