Колчин, А. (2013). Метод редукции анализируемого пространства поведения при верификации формальных моделей распределенных программных систем. Інститут проблем штучного інтелекту МОН України та НАН України.
Chicago Style (17th ed.) CitationКолчин, А.В. Метод редукции анализируемого пространства поведения при верификации формальных моделей распределенных программных систем. Інститут проблем штучного інтелекту МОН України та НАН України, 2013.
MLA (8th ed.) CitationКолчин, А.В. Метод редукции анализируемого пространства поведения при верификации формальных моделей распределенных программных систем. Інститут проблем штучного інтелекту МОН України та НАН України, 2013.
Warning: These citations may not always be 100% accurate.