Conference on Temporal Logic and Its Applications (1986 : Leeds) Bezüge im Wissensnetz Veranstaltungsort (1) GND Leeds