Hyperdocuments as Automata: Trace-Based Browsing Property Verification.

P. David Stotts Richard Furuta J. Cyrano Ruiz

Published in: ECHT (1992)

Keyphrases

model checking
multimedia
cellular automata
finite state
finite automata
finite state machines
visual interface
probabilistic automata
databases
regular expressions
desirable properties
neural network
real world
digital libraries
tree automata
execution traces