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

Robert Eschbach
Department of Computer Science, University of Kaiserslautern, 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