( en | de | ru )

 

Disambiguierung von "Henzinger, Thomas A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems.

, , und . CAV, Volume 1633 von Lecture Notes in Computer Science, Seite 301-315. Springer, (1999)

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 A Vilgis

Thomas A Fischer

Thomas A Fischer

Thomas A Willging

Thomas A Schartel

 

Weitere Publikationen von Autoren mit dem selben Namen

Robust Timed Automata., , und . HART, Volume 1201 von Lecture Notes in Computer Science, Seite 331-345. Springer, (1997)Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems., und . Hybrid Systems, Volume 1066 von Lecture Notes in Computer Science, Seite 377-388. Springer, (1995)Quantitative Simulation Games., , und . Essays in Memory of Amir Pnueli, Volume 6200 von Lecture Notes in Computer Science, Seite 42-60. Springer, (2010)A Logic-Based Framework for Verifying Consensus Algorithms., , , , und . VMCAI, Volume 8318 von Lecture Notes in Computer Science, Seite 161-181. Springer, (2014)Algorithms for Omega-Regular Games with Imperfect Information., , , und . Logical Methods in Computer Science, (2007)Fair Bisimulation., und . TACAS, Volume 1785 von Lecture Notes in Computer Science, Seite 299-314. Springer, (2000)Model Checking Discounted Temporal Properties., , , , und . TACAS, Volume 2988 von Lecture Notes in Computer Science, Seite 77-92. Springer, (2004)MOCHA: Modularity in Model Checking., , , , , und . CAV, Volume 1427 von Lecture Notes in Computer Science, Seite 521-525. Springer, (1998)Quantitative Synthesis for Concurrent Programs., , , , und . CAV, Volume 6806 von Lecture Notes in Computer Science, Seite 243-259. Springer, (2011)The Symbolic Approach to Hybrid Systems.. CAV, Volume 2404 von Lecture Notes in Computer Science, Seite 57. Springer, (2002)