International Workshop on Verification of Infinite State Systems (2 : 1997 : Bologna) Homepage am 31.07.2001 Bezüge im Wissensnetz Veranstaltungsort (1) GND Bologna Homepage (1) GND moller97infinity.html