Talks and Poster Presentations (with Proceedings-Entry):
I. Stoilkovska, I. Konnov, J. Widder, F. Zuleger:
"Eliminating Message Counters in Synchronous Threshold Automata";
Talk: 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI),
Copenhagen, Denmark;
2021-01-17
- 2021-01-19; in: "Proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)",
Springer LNCS,
12597
(2021),
196
- 218.
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_303559.pdf
Created from the Publication Database of the Vienna University of Technology.