Konsta Karsisto

Publication Activity (10 Years)

Years Active: 1996-2003
Publications (10 Years): 0

Publications

Árpád Beszédes, Rudolf Ferenc, Tibor Gyimóthy, André Dolenc, Konsta Karsisto
Survey of code-size reduction methods. ACM Comput. Surv. 35 (3) (2003)
Antti Valmari, Konsta Karsisto, Manu Setälä
Visualisation of Reduced Abstracted Behaviour as a Design Tool. PDP (1996)
Konsta Karsisto, Antti Valmari
Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet. FTRTFT (1996)