International Conference on Temporal Logic (4 : 2003 : Cairns) Bezüge im Wissensnetz Veranstaltungsort (1) GND Cairns