| |
| * | 1983 | |
|---|---|---|
| 1 | 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 | |
| 1 | Matti Anttila | [1] |
| 2 | Harri Eriksson | [1] |
| 3 | Raimo Kujansuu | [1] |
| 4 | Leo Ojala | [1] |
| 5 | Heikki Tuominen | [1] |