Speicher-Synthese für allgemeine Multiprozessor-Systeme mit Constraint-LogikprogrammierungRenate BeckmannVyprodáno4,3Pohlídat