Datentypsematik für SDL - 2000

Martin von Löwis. Datentypsematik für SDL - 2000. In Jens Grabowski, Stefan Heymer, editors, Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000. pages 121-130, Verlag Shaker, 2000.

Abstract

Abstract is missing.