| |
| 1996 | ||
|---|---|---|
| 2 | Antti Valmari, Manu Setälä: Visual Verification of Safety and Liveness. FME 1996: 228-247 | |
| 1 | EE | Antti Valmari, Konsta Karsisto, Manu Setälä: Visualisation of Reduced Abstracted Behaviour as a Design Tool. PDP 1996: 187-195 |
| 1 | Konsta Karsisto | [1] |
| 2 | Antti Valmari | [1] [2] |