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