| 2003 |
|---|
| 9 | EE | Niklas Holsti,
Thomas Långbacka:
Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software.
Ada-Europe 2003: 92-101 |
| 1997 |
|---|
| 8 | | Jim Grundy,
Thomas Långbacka:
Recording HOL Proofs in a Structured Browsable Format.
AMAST 1997: 567-571 |
| 7 | | Thomas Långbacka,
Joakim von Wright:
Refining Reactive Systems in HOL Using Action Systems.
TPHOLs 1997: 183-197 |
| 1996 |
|---|
| 6 | | Michael J. Butler,
Thomas Långbacka:
Program Derivation Using the Refinement Calculator.
TPHOLs 1996: 93-108 |
| 1995 |
|---|
| 5 | | Thomas Långbacka,
Rimvydas Ruksenas,
Joakim von Wright:
TkWinHOL: A Tool for Window Inference in HOL.
TPHOLs 1995: 245-260 |
| 1994 |
|---|
| 4 | | Thomas Långbacka:
A HOL Formalisation of the Temporal Logic of Actions.
TPHOLs 1994: 332-345 |
| 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,
Thomas Långbacka:
Using a Theorem Prover for Reasoning about Concurrent Algorithms.
CAV 1992: 56-68 |
| 1 | | Joakim von Wright,
Jukka Hekanaho,
P. Luostarinen,
Thomas Långbacka:
Mechanising some Advanced Refinement Concepts.
TPHOLs 1992: 307-326 |
