Citace podle 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

Citace 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.

Citace podle MLA (9th 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.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..