2 Einträge gefunden

1. Towards Component Verification in the Generic Component Framework

   1. Padberg, Julia
   2. Ehrig, Hartmut
   3. Orejas, Fernando

   2009 - ReposIt
2. Composition and Independence of High-Level Net Processes

   1. Ehrig, Hartmut
   2. Hoffmann, Kathrin
   3. Gabriel, Karsten
   4. Padberg, Julia

   2009 - ReposIt