Вы здесь
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