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

Zusammenfassung




 Übergeordnete Seite: Jahr 2000

 Feedback
Zu den Kontaktdetails des Verantwortlichen dieser Seite

 English
This page in english. Diese Seite auf englisch.