Finite Approximations for Model Checking Non-finite-state Processes

Вы здесь

Автор:

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

2001

Ключевые слова:

Стр.:

P.109-123

Библиография:

Bibliogr.: p.122-123

Источник:

Номер:

Том:

Карточка:

Б2.1, Б2.2.

De Francesco N., Fantechi A., Gnesi S., Inverardi I..

Finite Approximations for Model Checking Non-finite-state Processes// The Computer J.-2001, №2.-Vol. 44.-P.109-123
Bibliogr.: p.122-123

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

PAP23 189