( en | de | ru )

 

Disambiguation of "Veith, Helmut"

Author of the publication

copydeleteadd this publication to your clipboard
Temporal Logic Model Checking

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

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Helmut Veith

Helmut Veith

Helmut Veith

Helmut Veith

Helmut Veith

 

Other publications of authors with the same name

How did you specify your test suite., , , and . ASE, page 407-416. ACM, (2010)Succinct Representation, Leaf Languages, and Projection Reductions.. Inf. Comput., 142 (2): 207-236 (1998)Pebble-Intervals Automata and FO2 with Two Orders (Extended Version)., , , and . CoRR, (2019)Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability., , , and . Description Logics, volume 1193 of CEUR Workshop Proceedings, page 591-594. CEUR-WS.org, (2014)Verification Across Intellectual Property Boundaries., , and . CAV, volume 4590 of Lecture Notes in Computer Science, page 82-94. Springer, (2007)Concolic Testing of Concurrent Programs., , , and . Software Engineering, volume P-227 of LNI, page 101-102. GI, (2014)Malware Engineering., , and . Sicherheit, volume P-62 of LNI, page 139-148. GI, (2005)On the Undecidability of some Sub-Classical First-Order Logics., , , and . FSTTCS, volume 1738 of Lecture Notes in Computer Science, page 258-268. Springer, (1999)Empirical Software Metrics for Benchmarking of Verification Tools., , , and . CAV (1), volume 9206 of Lecture Notes in Computer Science, page 561-579. Springer, (2015)Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms., , , , and . SFM, volume 8483 of Lecture Notes in Computer Science, page 122-171. Springer, (2014)