Вы здесь
On decidability of LTL model checking for process rewrite systems
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2009
Ключевые слова:
Стр.:
P.1-28
Библиография:
Bibliogr.: p.28
Источник:
Номер:
1
Том:
46
Карточка:
Б2.13, Б2.14, Б2.2.
Bozzelli L., Kretinsky M., Rehak V., Strejcek J..
On decidability of LTL model checking for process rewrite systems// Acta Informatica-2009, №1.-Vol. 46.-P.1-28
Bibliogr.: p.28
Таблица в старой библиотеке:
PAP31 338