Talks and Poster Presentations (with Proceedings-Entry):
A. John, I. Konnov, U. Schmid, H. Veith, J. Widder:
"Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction";
Talk: ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC),
Montreal, Kanada;
2013-07-22
- 2013-07-24; in: "PODC",
ACM,
(2013),
ISBN: 978-1-4503-2065-8;
119
- 121.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/2484239.2484285