Ilkka Kokkarinen

	2001
3		Doron Peled, Antti Valmari, Ilkka Kokkarinen: Relaxed Visibility Enhances Partial Order Reduction. Formal Methods in System Design 19(3): 275-289 (2001)
	1998
2		Antti Valmari, Ilkka Kokkarinen: Unbounded Verification Results by Finite-State Compositional Techniques: 10any States and Beyond. ACSD 1998: 75-85
	1997
1		Ilkka Kokkarinen, Doron Peled, Antti Valmari: Relaxed Visibility Enhances Partial Order Reduction. CAV 1997: 328-339

Coauthor Index

1	Doron Peled	[1] [3]
2	Antti Valmari	[1] [2] [3]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page