Логические временные спецификации о компьютерных данных скалярного типа.

Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology

Original language	Undefined
Title of host publication	Труды IV Международной конференции "Дискретные модели в теории управляющих систем".
Publisher	МАКС Пресс
Pages	48-49
State	Published - 2000
Externally published	Yes

ID: 4462396