APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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

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