Advanced Study Institute on Logics and Models of Concurrent Systems (1984 : La Colle-sur-Loup) Bezüge im Wissensnetz Veranstaltungsort (1) GND La Colle-sur-Loup