Verhaltensspezifikation mit der Sicherheitsfachsprache / Sebastian Preuße, Hans-Michael Hanisch Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2008
Inhalt
PDF C:\Dokumente und Einstellungen\usera\Eigene Dateien\technical report uni halle\2008_06