Seminar Quantitative Aspects of Designing and Validating Dependable Computing Systems (1995 : Dagstuhl) Bezüge im Wissensnetz Veranstaltungsort (1) GND Wadern