Conference on Real Time Systems (19 : 2007 : Pisa) Bezüge im Wissensnetz Veranstaltungsort (1) GND Pisa