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),
- 2014-09-05; in: "CONCUR",
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.