Graphtransformationssyteme in Constraint Handling Rules: Verbesserte Methoden zur Programmanalyse

Frank Raiser. Graphtransformationssyteme in Constraint Handling Rules: Verbesserte Methoden zur Programmanalyse. In Steffen Hölldobler, editor, Ausgezeichnete Informatikdissertationen 2010. Volume D-11 of LNI, pages 241-250, GI, 2010.

Abstract

Abstract is missing.