4 Treffer für Jahr = "2008 - "
zu den Filteroptionen4 Treffer für Jahr = "2008 - "
Das Dokument ist öffentlich im Netz zugänglich.- 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 - Das Dokument ist öffentlich im Netz zugänglich.
On the recognizability of arrow and graph languages
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2008 - Das Dokument ist öffentlich im Netz zugänglich.
Unfolding-based diagnosis of systems with an evolving topology
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2008