Summary: Fakultät II ­ Informatik, Wirtschafts- und Rechtswissenschaften
Department für Informatik
Development of Correct
Graph Transformation Systems
Dissertation zur Erlangung des Grades eines
Doktors der Naturwissenschaften
vorgelegt von
Dipl.-Inform. Karl-Heinz Pennemann
Oldenburg, 18. Mai 2009
ii Development of Correct Graph Transformation Systems
Prüfungskommision
Vorsitzender: Prof. Dr. Martin Fränzle
Gutachterin: Prof. Dr. Annegret Habel
Gutachter: Prof. Dr. Ernst-Rüdiger Olderog
Gutachter: Prof. Dr. Arend Rensink
Mitglied: Dr. Sybille Fröschle
Datum der Disputation: 11. September 2009
Development of Correct Graph Transformation Systems iii
Abstract
Graph transformation has many application areas in computer science, such

Source: Appelrath, Hans-Jürgen - Department für Informatik, Carl von Ossietzky Universität Oldenburg
Habel, Annegret - Department für Informatik, Carl von Ossietzky Universität Oldenburg

Collections: Computer Technologies and Information Sciences