Leo Ojala (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 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

2 Raimo Kujansuu, Leo Ojala, Heikki Tuominen: The Development of Tools for Verification and Validation of Communication Protocols. PSTV 1982: 311-313

Selection of 2 from 10 records - Leo Ojala has 15 coauthors

3		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
2		Raimo Kujansuu, Leo Ojala, Heikki Tuominen: The Development of Tools for Verification and Validation of Communication Protocols. PSTV 1982: 311-313