Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Fakultt II Informatik, Wirtschafts-und Rechtswissenschaften Department fr Informatik
 

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