Annikka Aalto

Publication Activity (10 Years)

Years Active: 2003-2003
Publications (10 Years): 0

Publications

Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi
Automatic Formal Model Generation and Analysis of SDL. SDL Forum (2003)