Вы здесь

Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1998
Стр.: 
P.1-30.
Библиография: 
Bibliogr.: p.28-30
Номер: 
1
Том: 
16
Карточка: 

Б2.23, Б3.5, В5.12.

Stotts P. D., Furuta R., Cabarrus C. R..

Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking// ACM Trans. on Information Systems-1998, №1.-Vol. 16.-P.1-30.
Bibliogr.: p.28-30

Таблица в старой библиотеке: 
ACM5 496