2003 | ||
---|---|---|
3 | EE | Árpád Beszédes, Rudolf Ferenc, Tibor Gyimóthy, André Dolenc, Konsta Karsisto: Survey of code-size reduction methods. ACM Comput. Surv. 35(3): 223-267 (2003) |
1996 | ||
2 | Konsta Karsisto, Antti Valmari: Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet. FTRTFT 1996: 228-245 | |
1 | EE | Antti Valmari, Konsta Karsisto, Manu Setälä: Visualisation of Reduced Abstracted Behaviour as a Design Tool. PDP 1996: 187-195 |
1 | Árpád Beszédes | [3] |
2 | André Dolenc | [3] |
3 | Rudolf Ferenc | [3] |
4 | Tibor Gyimóthy | [3] |
5 | Manu Setälä | [1] |
6 | Antti Valmari | [1] [2] |