doi dblpHyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model CheckingP. David Stotts | Richard Furuta | Cyrano Ruiz Cabarrus1998 Volume 16 Issue 1