| |
| 1983 | ||
|---|---|---|
| 2 | 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: 139-148 | |
| 1982 | ||
| 1 | Raimo Kujansuu, Leo Ojala, Heikki Tuominen: The Development of Tools for Verification and Validation of Communication Protocols. PSTV 1982: 311-313 | |
| 1 | Matti Anttila | [2] |
| 2 | Harri Eriksson | [2] |
| 3 | Jukka Ikonen | [2] |
| 4 | Leo Ojala | [1] [2] |
| 5 | Heikki Tuominen | [1] [2] |