![[logo of the networked systems group]](/en/images/vs.gif)
On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine
R. Eschbach, U. Glässer, R. Gotzhein, A. Prinz
in: Y. Gurevich, M. Odersky, P. Kutter, L. Thiele (Eds.), Abstract State Machines, LNCS 1912, Springer, 2000
Abstract
 | Superordinated page: Year 2000 |
| | Feedback |
| Go to the contact details of the person in charge of this page |
| | Deutsch  |
| This page in german. Diese Seite auf deutsch. |