Вы здесь

A Theory of Hints in Model Checking

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2003
Стр.: 
P.423-438
Библиография: 
Bibliogr.: p.437-438
Издательство: 
Том: 
2757
Карточка: 

Б2.23, Б3.54.

Kaltenbach M., Mesra J..

A Theory of Hints in Model Checking: Springer// Lecture Notes in Computer Science-2003.-Vol. 2757.-P.423-438
Bibliogr.: p.437-438

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