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