Browsing by Author "Steffen, Bernhard"
Now showing items 1-1 of 1
-
Datenflussanalyse als Modelchecking im jABC
Lamprecht, Anna-Lena; Margaria, Tiziana; Steffen, Bernhard
125-130
- DSpace Home
- Browsing by Author
Now showing items 1-1 of 1
Lamprecht, Anna-Lena; Margaria, Tiziana; Steffen, Bernhard
125-130