Harri Eriksson

Publication Activity (10 Years)

Years Active: 1983-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)