2 Einträge gefunden

1. Rule-based refinement of high-level nets preserving safety properties

   1. Padberg, Julia
   2. Gajewsky, Magdalena
   3. Ermel, Claudia

   2001 - ReposIt
2. Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems

   1. Padberg, Julia
   2. Hoffmann, Kathrin
   3. Gajewsky, Magdalena

   2000 - ReposIt