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