3 Titel in Informatik

• 
   Das Dokument ist öffentlich im Netz zugänglich.

  Applying the graph minor theorem to the verification of graph transformation systems

  Joshi, Salil ; König, Barbara

  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

  Kerstan, Henning ; König, Barbara

  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

  König, Barbara ; Stückrath, Jan

  Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2012