3 Treffer für Ort = "Duisburg"
zu den Filteroptionen3 Treffer für Ort = "Duisburg"
Das Dokument ist öffentlich im Netz zugänglich.Applying the graph minor theorem to the verification of graph transformation systems
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2012- Das Dokument ist öffentlich im Netz zugänglich.
Coalgebraic trace semantics for probabilistic transition systems based on measure theory
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2012 - Das Dokument ist öffentlich im Netz zugänglich.
Well-structured graph transformation systems with negative application conditions
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2012