1 Title
jump to filter-optionsSearch for: Series (Number) = HT019263361 or Series = Impulse zur Wachstumswende
The document is publicly availableDeriving bisimulation congruences in the presence of negative application conditions
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2008