International Conference on Formal Methods and Models for Co-Design (2 : 2004 : San Diego, Calif.) Bezüge im Wissensnetz Veranstaltungsort (1) GND San Diego, Calif.