Символическое планирование в ограничениях CTL. › Научные исследования в СПбГУ

Процессы управления и устойчивость. Труды международной научной конференции.. 2007. стр. 335-341.

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции

Бугайченко, ДЮ 2007, Символическое планирование в ограничениях CTL. в Процессы управления и устойчивость. Труды международной научной конференции.. стр. 335-341.

Бугайченко, Д. Ю. (2007). Символическое планирование в ограничениях CTL. в Процессы управления и устойчивость. Труды международной научной конференции. (стр. 335-341)

Бугайченко ДЮ. Символическое планирование в ограничениях CTL. в Процессы управления и устойчивость. Труды международной научной конференции.. 2007. стр. 335-341

Бугайченко, Дмитрий Юрьевич. / Символическое планирование в ограничениях CTL. Процессы управления и устойчивость. Труды международной научной конференции.. 2007. стр. 335-341

@inproceedings{1ac55cb11b3f458d91c0796c299448e7,

title = "Символическое планирование в ограничениях CTL.",

keywords = "символическое планирование, логика ветвящегося времени",

author = "Бугайченко, {Дмитрий Юрьевич}",

year = "2007",

language = "не определен",

pages = "335--341",

booktitle = "Процессы управления и устойчивость. Труды международной научной конференции.",

}

TY - GEN

T1 - Символическое планирование в ограничениях CTL.

AU - Бугайченко, Дмитрий Юрьевич

PY - 2007

Y1 - 2007

KW - символическое планирование

KW - логика ветвящегося времени

M3 - статья в сборнике материалов конференции

SP - 335

EP - 341

BT - Процессы управления и устойчивость. Труды международной научной конференции.

ER -

ID: 38372705