Вы здесь
An Experience in Proving Regular Networks of Processes by Modular Model Checking
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1992
Ключевые слова:
Стр.:
P.523-543.
Библиография:
Bibliogr.: p.541-543.
Источник:
Номер:
6/7
Том:
29
Карточка:
Б2.4, Б3.15.
Halbwachs N., Lagnier F., Ratel C..
An Experience in Proving Regular Networks of Processes by Modular Model Checking// Acta Informatica-1992, №6/7.-Vol. 29.-P.523-543.
Bibliogr.: p.541-543.
Таблица в старой библиотеке:
PAP4 827