Ari Ahtiainen

	2002
4		Ari Ahtiainen: Applying Formal Method in Mobile Protocol Testing. TestCom 2002: 187-
	2001
3		Vivek K. Shanbhag, K. Gopinath, Markku Turunen, Ari Ahtiainen, Matti Luukkainen: EASN: Integrating ASN.1 and Model Checking. CAV 2001: 382-386
	1993
2		Ari Ahtiainen, Bruno Chatras, Marc W. A. Hornbeek, Sami Kesti: Experiences with Octopus Automated TTCN Translation Tools Applied to GSM/SS7. Protocol Test Systems 1993: 231-253
	1985
1		Ari Ahtiainen, S. Alfonzetti, V. Chari, Mats Daniels, Michel Diaz, Alberto Faro, Hans A. Hansson, Guy Juanole, Ulla Karjalainen, Gesualdo Le Moli, Juhani Malka, Sergio Palazzo, Orlando Pereda: An approach for evaluating formal description techniques. PSTV 1985: 421-438

Coauthor Index

1	S. Alfonzetti	[1]
2	V. Chari	[1]
3	Bruno Chatras	[2]
4	Mats Daniels	[1]
5	Michel Diaz	[1]
6	Alberto Faro	[1]
7	K. Gopinath	[3]
8	Hans A. Hansson	[1]
9	Marc W. A. Hornbeek	[2]
10	Guy Juanole	[1]
11	Ulla Karjalainen	[1]
12	Sami Kesti	[2]
13	Matti Luukkainen	[3]
14	Juhani Malka	[1]
15	Gesualdo Le Moli	[1]
16	Sergio Palazzo	[1]
17	Orlando Pereda	[1]
18	Vivek K. Shanbhag	[3]
19	Markku Turunen	[3]

Colors in the list of coauthors