Вы здесь

A Lineal Temporal Logic with Continuous Semantics for Hybrid Systems

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2000
Стр.: 
P.395-402
Библиография: 
Bibliogr.: p.402
Место издания: 
Карточка: 

Б2.24, А3.45.

Guangyuan L., Zhisong T..

A Lineal Temporal Logic with Continuous Semantics for Hybrid Systems-Beijing.// 16th World Computer Congress 2000, 2000.-P.395-402
Bibliogr.: p.402

Таблица в старой библиотеке: 
PAP22 600