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)
http://dx.doi.org/10.1007/978-3-662-44584-6_10
Created from the Publication Database of the Vienna University of Technology.