Author Details

Wächter, J. Ph., Institut für Formale Methoden der Informatik (FMI), Germany