International Workshop on Formal Methods for Wireless Systems (1. : 2008 : Toronto) Bezüge im Wissensnetz Veranstaltungsort (1) GND Toronto