| |
| 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 | EE | Antti Valmari, Ilkka Kokkarinen: Unbounded Verification Results by Finite-State Compositional Techniques: 10any States and Beyond. ACSD 1998: 75- |
| 1997 | ||
| 1 | Ilkka Kokkarinen, Doron Peled, Antti Valmari: Relaxed Visibility Enhances Partial Order Reduction. CAV 1997: 328-339 | |
| 1 | Doron Peled | [1] [3] |
| 2 | Antti Valmari | [1] [2] [3] |