Вы здесь

Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic

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

А2.2, Б2.14.

Hagiya M., Takahashi K., Yamamoto M., Sato T..

Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic: Springer// Lecture Notes in Computer Science-2004.-Vol. 2998.-P.7-21
Bibliogr.: p.21

Таблица в старой библиотеке: 
PAP28 590