Workshop on Specification and Verification of Concurrent Systems (1988 : Stirling) Bezüge im Wissensnetz Veranstaltungsort (1) GND Stirling