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