Вы здесь

Explicit State Model Checking with Hopper

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2004
Ключевые слова: 
Стр.: 
P.146-150
Библиография: 
Bibliogr.: p.150
Издательство: 
Том: 
2989
Карточка: 

Б2.2, Б3.5.

Jones M., Mercer E..

Explicit State Model Checking with Hopper: Springer// Lecture Notes in Computer Science-2004.-Vol. 2989.-P.146-150
Bibliogr.: p.150

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