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

P. David Stotts Richard Furuta Cyrano Ruiz Cabarrus Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking. 1-30 1998 16 ACM Trans. Inf. Syst. 1 db/journals/tois/tois16.html#StottsFC98 http://doi.acm.org/10.1145/267954.267955