|
Search the dblp DataBase
Thomas Långbacka:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Niklas Holsti, Thomas Långbacka
Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software. [Citation Graph (0, 0)][DBLP] Ada-Europe, 2003, pp:92-101 [Conf]
- Jim Grundy, Thomas Långbacka
Recording HOL Proofs in a Structured Browsable Format. [Citation Graph (0, 0)][DBLP] AMAST, 1997, pp:567-571 [Conf]
- Joakim von Wright, Thomas Långbacka
Using a Theorem Prover for Reasoning about Concurrent Algorithms. [Citation Graph (0, 0)][DBLP] CAV, 1992, pp:56-68 [Conf]
- Michael J. Butler, Thomas Långbacka
Program Derivation Using the Refinement Calculator. [Citation Graph (0, 0)][DBLP] TPHOLs, 1996, pp:93-108 [Conf]
- Thomas Långbacka
A HOL Formalisation of the Temporal Logic of Actions. [Citation Graph (0, 0)][DBLP] TPHOLs, 1994, pp:332-345 [Conf]
- Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright
TkWinHOL: A Tool for Window Inference in HOL. [Citation Graph (0, 0)][DBLP] TPHOLs, 1995, pp:245-260 [Conf]
- Thomas Långbacka, Joakim von Wright
Refining Reactive Systems in HOL Using Action Systems. [Citation Graph (0, 0)][DBLP] TPHOLs, 1997, pp:183-197 [Conf]
- Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka
Mechanising some Advanced Refinement Concepts. [Citation Graph (0, 0)][DBLP] TPHOLs, 1992, pp:307-326 [Conf]
- Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka
Mechanizing Some Advanced Refinement Concepts. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1993, v:3, n:1/2, pp:49-81 [Journal]
Search in 0.002secs, Finished in 0.002secs
|