Workshop on Hardware Specification, Verification and Synthesis (1989 : Ithaca, NY) Bezüge im Wissensnetz Veranstaltungsort (1) GND Ithaca, NY