International Workshop on Symbolic Methods and Applications in Circuit Design (6 : 2000 : Lissabon) Bezüge im Wissensnetz Veranstaltungsort (1) GND Lissabon