Symposium on Formal Techniques in Real Time and Fault Tolerant Systems (1 : 1988 : Warwick) Bezüge im Wissensnetz Veranstaltungsort (1) GND Warwick