2 Titel

• 
   Das Dokument ist öffentlich im Netz zugänglich.

  Composition and decomposition of DPO transformations with borrowed context

  Baldan, Paolo ; Ehrig, Hartmut ; König, Barbara

  Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2006
• 
   Das Dokument ist öffentlich im Netz zugänglich.

  Deriving bisimulation congruences in the presence of negative application conditions

  Rangel, Guilherme ; König, Barbara ; Ehrig, Hartmut

  Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2008