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