Вы здесь

Model-Checking Concurrent Systems with Unbounded Integer Variables: Symbolic Representations, Approximations, and Experimental Results

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1999
Стр.: 
P.747-789.
Библиография: 
Bibliogr.: p.786-789
Номер: 
4
Том: 
21
Карточка: 

Б3.54, Б2.23.

Bultan T., Gerber R., Pugh W..

Model-Checking Concurrent Systems with Unbounded Integer Variables: Symbolic Representations, Approximations, and Experimental Results// ACM Trans. on Programming Languages and Systems-1999, №4.-Vol. 21.-P.747-789.
Bibliogr.: p.786-789

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