1 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