Вы здесь

Главная

Hyperdocuments as Automata: Trace-based Browsing Property Verification

Автор: 
Stotts P. D.
Furuta R.
Ruiz J. C.
Количество экземпляров: 
1
Колл. автор: 
Univ.North Carolina at Chapel Hill
Вид: 
Препринт
Год: 
1992
Ключевые слова: 
гипертекст
сети
сети петри
семантика
синхронизация
логика
верификация
просмотр
Стр.: 
13 p.
Библиография: 
Bibliogr.: p.12-13.
Место издания: 
Chapel Hill
Номер: 
TR 92-038
Карточка: 

В5.12, В2.4.

Stotts P. D., Furuta R., Ruiz J. C..

Hyperdocuments as Automata: Trace-based Browsing Property Verification-Chapel Hill., 1992.-13 p.-(Препринт Univ.North Carolina at Chapel Hill №TR 92-038).
Bibliogr.: p.12-13.

Таблица в старой библиотеке: 
PREP1 800