Вы здесь

On the Construction of Automata from Linear Arithmetic Constraints

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2000
Ключевые слова: 
Стр.: 
P.1-19.
Библиография: 
Bibliogr.: p.17-19
Издательство: 
Том: 
1785
Карточка: 

А2.2.

Wolper P., Boigelot B..

On the Construction of Automata from Linear Arithmetic Constraints: Springer// Lecture Notes in Computer Science-2000.-Vol. 1785.-P.1-19.
Bibliogr.: p.17-19

Таблица в старой библиотеке: 
PAP21 260