Structural Operational Semantics Workshop (2 : 2005 : Lissabon) Bezüge im Wissensnetz Veranstaltungsort (1) GND Lissabon