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
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. |