Speicher-Synthese für allgemeine Multiprozessor-Systeme mit Constraint-LogikprogrammierungRenate BeckmannAusverkauft4,3Bewachen