Authors: STOTTS PD FURUTA R CABARRUS CR

Citation: Pd. Stotts et al., HYPERDOCUMENTS AS AUTOMATA - VERIFICATION OF TRACE-BASED BROWSING PROPERTIES BY MODEL CHECKING, ACM transactions on information systems, 16(1), 1998, pp. 1-30