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

Andreas Prinz
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
E. Börger, A. Prinz:
Quo Vadis Abstract State Machines?
page 1921 - 1928
Vol.14 / Issue 12