STOILKOVSKA, Ilina, KONNOV, Igor, WIDDER, Josef und ZULEGER, Florian, 2022. Verifying safety of synchronous fault-tolerant algorithms by bounded model checking. International Journal on Software Tools for Technology Transfer. 1 Februar 2022. Vol. 24, no. 1, p. 33-48. DOI 10.1007/s10009-021-00637-9.
Elsevier - Harvard (with titles)Stoilkovska, I., Konnov, I., Widder, J., Zuleger, F., 2022. Verifying safety of synchronous fault-tolerant algorithms by bounded model checking. International Journal on Software Tools for Technology Transfer 24, 33-48. https://doi.org/10.1007/s10009-021-00637-9
American Psychological Association 7th editionStoilkovska, I., Konnov, I., Widder, J., & Zuleger, F. (2022). Verifying safety of synchronous fault-tolerant algorithms by bounded model checking. International Journal on Software Tools for Technology Transfer, 24(1), 33-48. https://doi.org/10.1007/s10009-021-00637-9
Springer - Basic (author-date)Stoilkovska I, Konnov I, Widder J, Zuleger F (2022) Verifying safety of synchronous fault-tolerant algorithms by bounded model checking.. International Journal on Software Tools for Technology Transfer 24:33-48. https://doi.org/10.1007/s10009-021-00637-9
Juristische Zitierweise (Stüber) (Deutsch)Stoilkovska, Ilina/ Konnov, Igor/ Widder, Josef/ Zuleger, Florian, Verifying safety of synchronous fault-tolerant algorithms by bounded model checking., International Journal on Software Tools for Technology Transfer 2022, 33-48.