Workshop on Hardware Verification (1988 : Banff, Alberta) Bezüge im Wissensnetz Veranstaltungsort (1) GND Banff (Alberta)