Вы здесь

Zhisong T.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Lineal Temporal Logic with Continuous Semantics for Hybrid Systems 2000 Guangyuan L., Zhisong T. 16th World Computer Congress 2000 06.03.2001