APA (7th ed.) Citation

Gorlatch, S., Garanina, N., & Staroletov, S. (2025). USING THE SPIN MODEL CHECKER FOR AUTO-TUNING HIGH-PERFORMANCE PROGRAMS. Journal of Mathematical Sciences, 290(5), 641. https://doi.org/10.1007/s10958-025-07687-3

Chicago Style (17th ed.) Citation

Gorlatch, Sergei, Natalia Garanina, and Sergey Staroletov. "USING THE SPIN MODEL CHECKER FOR AUTO-TUNING HIGH-PERFORMANCE PROGRAMS." Journal of Mathematical Sciences 290, no. 5 (2025): 641. https://doi.org/10.1007/s10958-025-07687-3.

MLA (9th ed.) Citation

Gorlatch, Sergei, et al. "USING THE SPIN MODEL CHECKER FOR AUTO-TUNING HIGH-PERFORMANCE PROGRAMS." Journal of Mathematical Sciences, vol. 290, no. 5, 2025, p. 641, https://doi.org/10.1007/s10958-025-07687-3.