Вы здесь
The Model Checker SPIN
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1997
Ключевые слова:
Стр.:
P.279-295.
Библиография:
Bibliogr.: p.293-295
Источник:
Номер:
5
Том:
23
Карточка:
Б2.23, Б2.43.
Holzmann G. J..
The Model Checker SPIN// IEEE Trans. on Software Engineering-1997, №5.-Vol. 23.-P.279-295.
Bibliogr.: p.293-295
Таблица в старой библиотеке:
PAP16 668