Talks and Poster Presentations (with Proceedings-Entry):

I. Konnov, H. Veith, J. Widder:
"On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability";
Talk: International Conference on Concurrency Theory (CONCUR), Rom, Italien; 2014-09-02 - 2014-09-05; in: "CONCUR", (2014), 125 - 140.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Created from the Publication Database of the Vienna University of Technology.