Matti Luukkainen

	2005
5		Laila Daniel, Matti Luukkainen, Markku Kojo: Experiences in Using SDL to Support the Design and Implementation of a Logical Link Layer Protocol. SDL Forum 2005: 187-197
4		Matti Luukkainen, Vivek K. Shanbhag, K. Gopinath: Verifying a UMTS Protocol Using Spin and EASN. Electr. Notes Theor. Comput. Sci. 118: 71-85 (2005)
	2001
3		Vivek K. Shanbhag, K. Gopinath, Markku Turunen, Ari Ahtiainen, Matti Luukkainen: EASN: Integrating ASN.1 and Model Checking. CAV 2001: 382-386
2		Matti Luukkainen: Verification of Dense Time Properties using Theories of Untimed Process Algebra. FORTE 2001: 353-368
	2000
1		Sari Leppänen, Matti Luukkainen: Compositional Verification of a Third Generation Mobile Communication Protocol. ICDCS Workshop on Distributed System Validation and Verification 2000: E118-E125

Coauthor Index

1	Ari Ahtiainen	[3]
2	Laila Daniel	[5]
3	K. Gopinath	[3] [4]
4	Markku Kojo	[5]
5	Sari Leppänen	[1]
6	Vivek K. Shanbhag	[3] [4]
7	Markku Turunen	[3]

Colors in the list of coauthors