International Symposium on Model Checking Software (30. : 2024 : Luxemburg, Stadt) Bezüge im Wissensnetz Veranstaltungsort (1) GND Luxemburg (Stadt) In Beziehung stehende Konferenz oder Veranstaltung (1) GND 1328268551