Speicher-Synthese für allgemeine Multiprozessor-Systeme mit Constraint-LogikprogrammierungRenate BeckmannAgotado4,3Notifícame