Workshop on Computer-Aided Verification of Information Systems (2005 : Temesvár) Bezüge im Wissensnetz Veranstaltungsort (1) GND Temesvár