APA (7th ed.) Citation

Karnov, A. (2025). Uncertainty Problem in High-level Model Based Trace Analysis as Part of Runtime Verification. Programming & Computer Software, 51(7), 478. https://doi.org/10.1134/S0361768825700355

Chicago Style (17th ed.) Citation

Karnov, A. "Uncertainty Problem in High-level Model Based Trace Analysis as Part of Runtime Verification." Programming & Computer Software 51, no. 7 (2025): 478. https://doi.org/10.1134/S0361768825700355.

MLA (9th ed.) Citation

Karnov, A. "Uncertainty Problem in High-level Model Based Trace Analysis as Part of Runtime Verification." Programming & Computer Software, vol. 51, no. 7, 2025, p. 478, https://doi.org/10.1134/S0361768825700355.