Proceedings of the 36th IEEE Conference on Decition and Controlсборник
-
Год издания:
1997
-
Том:
1
-
Место издания:
IEEE Controls Syst Soc, Soc Ind & Appl Math, Inst Operat Res & Management Sci San Diego, CA
-
Сборник тезисов
-
Добавил в систему:
Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
-
-
1997
Logic, topological semantics and hybrid systems
-
Artemov Sergei,
Davoren Jennifer,
Nerode Anil
-
в сборнике Proceedings of the 36th IEEE Conference on Decition and Control, место издания IEEE Controls Syst Soc, Soc Ind & Appl Math, Inst Operat Res & Management Sci San Diego, CA, том 1, тезисы, с. 698-701
DOI