Talks and Poster Presentations (with Proceedings-Entry):
B. Aminof, S. Rubin, I. Stoilkovska, J. Widder, F. Zuleger:
"Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction";
Talk: Verification, Model Checking, and Abstract Interpretation (VMCAI),
Los Angeles;
2018-01-07
- 2018-01-09; in: "VMCAI",
LNCS/Springer,
10747
(2018),
1
- 24.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-73721-8_1
Electronic version of the publication:
http://repositum.tuwien.ac.at/obvutwoa/2465907