@inproceedings{DBLP:conf/www/StottsN02, author = {P. David Stotts and Jaime Navon}, title = {Model checking cobweb protocols for verification of HTML frames behavior}, booktitle = {WWW}, year = {2002}, pages = {182-190}, ee = {http://doi.acm.org/10.1145/511446.511470}, bibsource = {DBLP, http://dblp.uni-trier.de} }