Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике › научная
Логические временные спецификации о компьютерных данных скалярного типа. / Косовский, Н.К.
Труды IV Международной конференции "Дискретные модели в теории управляющих систем".. МАКС Пресс, 2000. стр. 48-49.Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике › научная
}
TY - CHAP
T1 - Логические временные спецификации о компьютерных данных скалярного типа.
AU - Косовский, Н.К.
PY - 2000
Y1 - 2000
M3 - статья в сборнике
SP - 48
EP - 49
BT - Труды IV Международной конференции "Дискретные модели в теории управляющих систем".
PB - МАКС Пресс
ER -
ID: 4462396