International Workshop on Symbolic Methods and Applications in Circuit Design (5 : 1998 : Kaiserslautern) Bezüge im Wissensnetz Veranstaltungsort (1) GND Kaiserslautern