1 Titel
zu den FilteroptionenSuche nach: Jahr = 2001 - 2015
Das Dokument ist öffentlich im Netz zugänglich.Deriving 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