APA (7th ed.) Citation

Мутилин, В. (2009, January). Метод проверки линеаризуемости многопоточных Java программ. Труды Института системного программирования РАН.

Chicago Style (17th ed.) Citation

Мутилин, В.С. "Метод проверки линеаризуемости многопоточных Java программ." Труды Института системного программирования РАН Jan. 2009.

MLA (9th ed.) Citation

Мутилин, В.С. "Метод проверки линеаризуемости многопоточных Java программ." Труды Института системного программирования РАН, Jan. 2009.