Model checking cobweb protocols for verification of HTML frames behavior.

P. David Stotts Jaime Navon Model checking cobweb protocols for verification of HTML frames behavior. 182-190 2002 WWW http://doi.acm.org/10.1145/511446.511470 db/conf/www/www2002.html#StottsN02