( en | de | ru )

 

Disambiguierung von "Veith, Helmut"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Special Issue: Games in Verification.

. J. Comput. Syst. Sci., 78 (2): 393 (2012)

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.

Helmut Veith

Helmut Veith

Helmut Veith

Helmut Veith

Helmut Veith

 

Weitere Publikationen von Autoren mit dem selben Namen

Parameterized model checking of rendezvous systems., , , , und . Distributed Comput., 31 (3): 187-222 (2018)On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability., , und . Inf. Comput., (2017)Complexity of t-tautologies., , , und . Ann. Pure Appl. Log., 113 (1-3): 3-11 (2001)Shape and Content: Incorporating Domain Knowledge into Shape Analysis., , , , und . CoRR, (2013)A Syntactic Characterization of Distributive LTL Queries., und . ICALP, Volume 3142 von Lecture Notes in Computer Science, Seite 1099-1110. Springer, (2004)Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms., , , , und . SFM, Volume 8483 von Lecture Notes in Computer Science, Seite 122-171. Springer, (2014)How did you specify your test suite., , , und . ASE, Seite 407-416. ACM, (2010)The Localization Reduction and Counterexample-Guided Abstraction Refinement., , und . Essays in Memory of Amir Pnueli, Volume 6200 von Lecture Notes in Computer Science, Seite 61-71. Springer, (2010)On the Undecidability of some Sub-Classical First-Order Logics., , , und . FSTTCS, Volume 1738 von Lecture Notes in Computer Science, Seite 258-268. Springer, (1999)Empirical Software Metrics for Benchmarking of Verification Tools., , , und . CAV (1), Volume 9206 von Lecture Notes in Computer Science, Seite 561-579. Springer, (2015)