Summerschool on Formal Methods and Performance Analysis (2000 : Berg en Dal) Bezüge im Wissensnetz Veranstaltungsort (2) GND Berg en Dal (Surinam) Groesbeek