Чеботарев, А. (2009). Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке. Кибернетика и системный анализ.
Chicago-Zitierstil (17. Ausg.)Чеботарев, А.Н. "Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке." Кибернетика и системный анализ 2009.
MLA-Zitierstil (8. Ausg.)Чеботарев, А.Н. "Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке." Кибернетика и системный анализ, 2009.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.