1 Title
jump to filter-optionsSearch for: Series (Number) = HT017379630 or Series = Technische Berichte der Abteilung für Informatik und Angewandte Kognitionswissenschaft
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