International Workshop on Automated Verification of Critical Systems (5 : 2005 : Warwick) Bezüge im Wissensnetz Veranstaltungsort (1) GND Warwick