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