On the Formal Semantics of SDL-2000: A Compilation Approach Using Abstract State Machines

R. Eschbach, R. Gotzhein, A. Prinz

Local Proceedings of the ASM 2000 Workshop, Monte Verita, Schweiz, 2000



Go to the contact details of the person in charge of this page

This page in german. Diese Seite auf deutsch.