Model checking cobweb protocols for verification of HTML frames behavior. Stotts, P. D. & Navon, J. In WWW, pages 182-190, 2002.
Model checking cobweb protocols for verification of HTML frames behavior [link]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}
}

Downloads: 0