Colloquium on Temporal Logic in Specification (1987 : Altrincham) Bezüge im Wissensnetz Veranstaltungsort (1) GND Altrincham