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