Matti Anttila

	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

Coauthor Index

1	Harri Eriksson	[1]
2	Jukka Ikonen	[1]
3	Raimo Kujansuu	[1]
4	Leo Ojala	[1]
5	Heikki Tuominen	[1]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page