Raimo Kujansuu

Publication Activity (10 Years)

Years Active: 1982-1983
Publications (10 Years): 0

Publications

Matti Anttila, Harri Eriksson, Jukka Ikonen, Raimo Kujansuu, Leo Ojala, Heikki Tuominen
Tools ans Studies of Formal Techniques - Petri nets and Temporal Logic. Protocol Specification, Testing, and Verification (1983)
Raimo Kujansuu, Leo Ojala, Heikki Tuominen
The Development of Tools for Verification and Validation of Communication Protocols. PSTV (1982)