Jukka Ikonen

According to our database, Jukka Ikonen authored at least 1 paper in 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