Corresponding author: Uwe Glaesser ( glaesser@uni-paderborn.de ) Citation:
Glaesser U, Karges R (1997) Abstract State Machine Semantics of SDL. JUCS - Journal of Universal Computer Science 3(12): 1382-1414. https://doi.org/10.3217/jucs-003-12-1382 |