( en | de | ru )

 

Disambiguierung von "Långbacka, Thomas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using a Theorem Prover for Reasoning about Concurrent Algorithms.

, und . CAV, Volume 663 von Lecture Notes in Computer Science, Seite 56-68. Springer, (1992)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Thomas Thomas

Thomas Harasim

Die Rolle des nucleostemin-Gens in dem Prozess der Ribosomenbiogenese. Uni München, (2009)

Thomas Baron

Untersuchungen an ungeschädigten und durch Pilzbefall geschädigten Nadelholzbauteilen mit ausgewählten Prüfverfahren. TU Dresden, (2009)

Thomas Böttcher

Naturstoffe und ihre Derivate als molekulare Sonden: Identifikation ihrer Angriffsziele und Inhibition der Virulenz in pathogenen Bakterien. Uni München, (2009)

Thomas Potinecke

Methode zur Systematisierung von Teilprozessen in der Produktentwicklung beim Einsatz von CAx-Technologien. Uni Stuttgart, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software., und . Ada-Europe, Volume 2655 von Lecture Notes in Computer Science, Seite 92-101. Springer, (2003)A HOL Formalisation of the Temporal Logic of Actions.. TPHOLs, Volume 859 von Lecture Notes in Computer Science, Seite 332-345. Springer, (1994)Refining Reactive Systems in HOL Using Action Systems., und . TPHOLs, Volume 1275 von Lecture Notes in Computer Science, Seite 183-197. Springer, (1997)Mechanising some Advanced Refinement Concepts., , , und . TPHOLs, Volume A-20 von IFIP Transactions, Seite 307-326. North-Holland/Elsevier, (1992)TkWinHOL: A Tool for Window Inference in HOL., , und . TPHOLs, Volume 971 von Lecture Notes in Computer Science, Seite 245-260. Springer, (1995)Worst-case execution time analysis for digital signal processors., , und . EUSIPCO, Seite 1-4. IEEE, (2000)Mechanizing Some Advanced Refinement Concepts., , , und . Formal Methods Syst. Des., 3 (1/2): 49-81 (1993)Using a Theorem Prover for Reasoning about Concurrent Algorithms., und . CAV, Volume 663 von Lecture Notes in Computer Science, Seite 56-68. Springer, (1992)Program Derivation Using the Refinement Calculator., und . TPHOLs, Volume 1125 von Lecture Notes in Computer Science, Seite 93-108. Springer, (1996)