Go home now Header Background Image
Submission Procedure
share: |
Follow us

Martin von Löwis
Department of Computer Science, Humboldt-University Berlin, Germany

R. Eschbach, U. Glässer, R. Gotzhein, M. von Löwis, A. Prinz:
Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models
page 1024 - 1049
Vol.7 / Issue 11