APA (7th ed.) Citation

Колчин, А. (2013). Метод редукции анализируемого пространства поведения при верификации формальных моделей распределенных программных систем. Искусственный интеллект.

Chicago Style (17th ed.) Citation

Колчин, А.В. "Метод редукции анализируемого пространства поведения при верификации формальных моделей распределенных программных систем." Искусственный интеллект 2013.

MLA (8th ed.) Citation

Колчин, А.В. "Метод редукции анализируемого пространства поведения при верификации формальных моделей распределенных программных систем." Искусственный интеллект, 2013.

Warning: These citations may not always be 100% accurate.