[Back]


Contributions to Proceedings:

I. Stoilkovska, I. Konnov, J. Widder, F. Zuleger:
"Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking";
in: "International Conference on Tools and Algorithms for the Construction and Analysis of Systems", Springer, 2019, 357 - 374.



Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_283798.pdf


Created from the Publication Database of the Vienna University of Technology.