International Workshop on Verification of Infinite State Systems (1 : 1996 : Pisa) Bezüge im Wissensnetz Veranstaltungsort (1) GND Pisa