Publications

Eschbach, R.; Glässer, Uwe; Gotzhein, R.; von Löwis, M.; Prinz, A.: Formal Definition of SDL-2000: Compiling and Running SDL Specifications as ASM Models. Journal of Universal Computer Science, Special Issue on Abstract State Machines - Theory and Applications , 2001 - Springer-Verlag

files

paper.pdf

Bibtex

@article{key=EGGL+2001,
author = {Eschbach, R. and Glässer, Uwe and Gotzhein, R. and von Löwis, M. and Prinz, A.},
title = {Formal Definition of SDL-2000: Compiling and Running SDL Specifications as ASM Models},
journal = {Journal of Universal Computer Science, Special Issue on Abstract State Machines - Theory and Applications},
year = {2001},
note = {Springer-Verlag},
}