2 Titles
jump to filter-optionsSearch for: Keyword = Bericht
- The document is publicly available
Composition and decomposition of DPO transformations with borrowed context
Baldan, Paolo ; Ehrig, Hartmut ; König, BarbaraDuisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2006 - The document is publicly available
Deriving bisimulation congruences in the presence of negative application conditions
Rangel, Guilherme ; König, Barbara ; Ehrig, HartmutDuisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2008