DAC: Design Automation ConferenceISSNs: 0738-100XACM Digital Library, USA/Vereinigte StaatenFachzeitschrift: Schriftenreihe