Aktive Facetten Hochschule für Angewandte Wissenschaften Hamburg 2001 Ermel, Claudia Gajewsky, Magdalena Padberg, Julia
Rule-based refinement of high-level nets preserving safety properties Padberg, Julia Gajewsky, Magdalena Ermel, Claudia 2001 - ReposIt