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