![[logo of the networked systems group]](/en/images/vs.gif)
An Executable Formal Semantics for SDL-2000
A. Prinz, R. Eschbach, R. Gotzhein
Proc. of SAM 2000, 2nd Workshop of the SDL Forum Society on SDL and MSC, June 2000
Abstract
 | Superordinated page: Year 2000 |
| | Feedback |
| Email to the person in charge of this page (vs_www@informatik.uni-kl.de) |
| | Deutsch  |
| This page in german. Diese Seite auf deutsch. |