IFIP State-of-the-Art Seminar on "Hardware Specification, Verification, and Synthesis" (1996 : Bangalore) Bezüge im Wissensnetz Veranstaltungsort (1) GND Bangalore