APA (7th ed.) Citation

Чеботарев, А. (2009). Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке. Кибернетика и системный анализ.

Chicago Style (17th ed.) Citation

Чеботарев, А.Н. "Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке." Кибернетика и системный анализ 2009.

MLA (8th ed.) Citation

Чеботарев, А.Н. "Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке." Кибернетика и системный анализ, 2009.

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