( en | de | ru )

 

Disambiguierung von "Veith, Helmut"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Temporal Logic Model Checking

, , , und . Handbook of Networked and Embedded Control Systems, Birkhäuser Boston, (2005)

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

Empirical Software Metrics for Benchmarking of Verification Tools., , , und . CAV (1), Volume 9206 von Lecture Notes in Computer Science, Seite 561-579. Springer, (2015)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)Pebble-Intervals Automata and FO2 with Two Orders (Extended Version)., , , und . CoRR, (2019)Succinct Representation, Leaf Languages, and Projection Reductions.. Inf. Comput., 142 (2): 207-236 (1998)Concolic Testing of Concurrent Programs., , , und . Software Engineering, Volume P-227 von LNI, Seite 101-102. GI, (2014)Verification Across Intellectual Property Boundaries., , und . CAV, Volume 4590 von Lecture Notes in Computer Science, Seite 82-94. Springer, (2007)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)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)