( en | de | ru )

 

Disambiguierung von "Henzinger, Thomas A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Local Liveness for Compositional Modeling of Fair Reactive Systems.

, und . CAV, Volume 939 von Lecture Notes in Computer Science, Seite 166-179. Springer, (1995)

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 Fischer

Thomas A Vilgis

Thomas A Fischer

Thomas A Willging

Thomas A Schartel

 

Weitere Publikationen von Autoren mit dem selben Namen

From boolean to quantitative synthesis., und . EMSOFT, Seite 149-154. ACM, (2011)Parametric real-time reasoning., , und . STOC, Seite 592-601. ACM, (1993)Some Myths About Formal Verification.. ACM Comput. Surv., 28 (4es): 119 (1996)Nested Weighted Limit-Average Automata of Bounded Width., , und . MFCS, Volume 58 von LIPIcs, Seite 24:1-24:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Linear Distances between Markov Chains., , , und . CONCUR, Volume 59 von LIPIcs, Seite 20:1-20:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)A Comparison of Control Problems for Timed and Hybrid Systems., , und . HSCC, Volume 2289 von Lecture Notes in Computer Science, Seite 134-148. Springer, (2002)Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems., , , und . Hybrid Systems, Volume 736 von Lecture Notes in Computer Science, Seite 209-229. Springer, (1992)Inductive sequentialization of asynchronous programs., , , , und . PLDI, Seite 227-242. ACM, (2020)Games with secure equilibria., , und . Theor. Comput. Sci., 365 (1-2): 67-82 (2006)Termination criteria for solving concurrent safety and reachability games., , und . SODA, Seite 197-206. SIAM, (2009)