Ilkka Kokkarinen

Publication Activity (10 Years)

Years Active: 1997-2001
Publications (10 Years): 0

Publications

Doron A. Peled, Antti Valmari, Ilkka Kokkarinen
Relaxed Visibility Enhances Partial Order Reduction. Formal Methods Syst. Des. 19 (3) (2001)
Antti Valmari, Ilkka Kokkarinen
States and Beyond. ACSD (1998)
Ilkka Kokkarinen, Doron A. Peled, Antti Valmari
Relaxed Visibility Enhances Partial Order Reduction. CAV (1997)