International Workshop on Formal Methods for Globally Asynchronous and Locally Synchronous Systems (2003 : Pisa) Bezüge im Wissensnetz Veranstaltungsort (1) GND Pisa