Raimo Kujansuu

According to our database, Raimo Kujansuu authored at least 2 papers between 1982 and 1983.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

1983

Tools ans Studies of Formal Techniques - Petri nets and Temporal Logic.

Matti Anttila, Harri Eriksson, Jukka Ikonen, Raimo Kujansuu, Leo Ojala, Heikki Tuominen

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

1982

The Development of Tools for Verification and Validation of Communication Protocols.

Raimo Kujansuu, Leo Ojala, Heikki Tuominen

Proceedings of the Protocol Specification, 1982