| |
| 1993 | ||
|---|---|---|
| 3 | Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka: Mechanizing Some Advanced Refinement Concepts. Formal Methods in System Design 3(1/2): 49-81 (1993) | |
| 1992 | ||
| 2 | Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka: Mechanising some Advanced Refinement Concepts. TPHOLs 1992: 307-326 | |
| 1 | Mauno Vihinen, A. Euranto, P. Luostarinen, Olli Nevalainen: MULTICOMP: a program package for multiple sequence comparison. Computer Applications in the Biosciences 8(1): 35-38 (1992) | |
| 1 | A. Euranto | [1] |
| 2 | Jukka Hekanaho | [2] [3] |
| 3 | Thomas Långbacka | [2] [3] |
| 4 | Olli Nevalainen | [1] |
| 5 | Mauno Vihinen | [1] |
| 6 | Joakim von Wright | [2] [3] |