BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-283798, author = {Stoilkovska, Ilina and Konnov, Igor and Widder, Josef and Zuleger, Florian}, title = {Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking}, booktitle = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems}, year = {2019}, pages = {357--374}, publisher = {Springer}, url = {https://publik.tuwien.ac.at/files/publik_283798.pdf} } 1 Datensatz ausgegeben