APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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