Aktive Facetten Hochschule für Angewandte Wissenschaften Hamburg Gajewsky, Magdalena Hoffmann, Kathrin
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems Padberg, Julia Hoffmann, Kathrin Gajewsky, Magdalena 2000 - ReposIt