( en | de | ru )

 

Disambiguation of "Veith, Helmut"

Author of the publication

copydeleteadd this publication to your clipboard
Parameterized model checking of rendezvous systems.

, , , , and . Distributed Comput., 31 (3): 187-222 (2018)

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

On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability., , and . Inf. Comput., (2017)Complexity of t-tautologies., , , and . Ann. Pure Appl. Log., 113 (1-3): 3-11 (2001)Parameterized model checking of rendezvous systems., , , , and . Distributed Comput., 31 (3): 187-222 (2018)Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272)., , , and . Dagstuhl Reports, 1 (7): 23-35 (2011)Special Issue: Games in Verification.. J. Comput. Syst. Sci., 78 (2): 393 (2012)Closure properties and complexity of rational sets of regular languages., , , and . Theor. Comput. Sci., (2015)Shape and Content: Incorporating Domain Knowledge into Shape Analysis., , , , and . CoRR, (2013)Pebble-Intervals Automata and FO2 with Two Orders (Extended Version)., , , and . CoRR, (2019)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)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)