Citáce podľa APA (7th ed.)

Kiviriga, A., Larsen, K. G., & Nyman, U. (2022). Randomized reachability analysis in UPPAAL: Fast error detection in timed systems. International journal on software tools for technology transfer, 24(6), 1025-1042. https://doi.org/10.1007/s10009-022-00681-z

Citácia podle Chicago (17th ed.)

Kiviriga, Andrej, Kim Guldstrand Larsen, a Ulrik Nyman. "Randomized Reachability Analysis in UPPAAL: Fast Error Detection in Timed Systems." International Journal on Software Tools for Technology Transfer 24, no. 6 (2022): 1025-1042. https://doi.org/10.1007/s10009-022-00681-z.

Citácia podľa MLA (8th ed.)

Kiviriga, Andrej, et al. "Randomized Reachability Analysis in UPPAAL: Fast Error Detection in Timed Systems." International Journal on Software Tools for Technology Transfer, vol. 24, no. 6, 2022, pp. 1025-1042, https://doi.org/10.1007/s10009-022-00681-z.

Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..