Raimo Kujansuu

	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

Coauthor Index

1	Matti Anttila	[2]
2	Harri Eriksson	[2]
3	Jukka Ikonen	[2]
4	Leo Ojala	[1] [2]
5	Heikki Tuominen	[1] [2]