Formal semantics of SDL-2000: Status and perspectives (2003)

by U Glässer, R Gotzhein, A Prinz
Venue:Computer Networks