2002

doi dblp
Model checking cobweb protocols for verification of HTML frames behavior
P. David Stotts | Jaime Navon
Proceedings of the Eleventh International World Wide Web Conference, WWW 2002, May 7-11, 2002, Honolulu, Hawaii, USA

1998

doi dblp
Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking
P. David Stotts | Richard Furuta | Cyrano Ruiz Cabarrus
1998 Volume 16 Issue 1

1989

doi dblp
Petri-Net-Based Hypertext: Document Structure with Browsing Semantics
P. David Stotts | Richard Furuta
1989 Volume 7 Issue 1

Search