Link  bibtex   

@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}
}