Вы здесь

On-the-Fly Model Checking Tutorial

Автор: 
Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
1996
Стр.: 
32 p.
Библиография: 
Bibliogr.: p.18-20
Место издания: 
Номер: 
NS-96-6
Карточка: 

Б2.4, Б3.5.

Holzmann G. J..

On-the-Fly Model Checking Tutorial-Trykkeriet., 1996.-32 p.-(Препринт Basic Research in Computer Science №NS-96-6).
Bibliogr.: p.18-20

Таблица в старой библиотеке: 
PREP2 389