Workshop on Executable Modal and Temporal Logics (1993 : Chambéry) Bezüge im Wissensnetz Veranstaltungsort (1) GND Chambéry