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

{"_id":{"_str":"534284c00e946d920a001bfe"},"__v":6,"authorIDs":["545e4cf66aaec20d230007f2","5460b129cff45d9c64000134"],"author_short":["Stotts, P. D.","Navon, J."],"bibbaseid":"stotts-navon-modelcheckingcobwebprotocolsforverificationofhtmlframesbehavior-2002","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["P.","David"],"propositions":[],"lastnames":["Stotts"],"suffixes":[]},{"firstnames":["Jaime"],"propositions":[],"lastnames":["Navon"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/www/StottsN02,\n author = {P. David Stotts and\n Jaime Navon},\n title = {Model checking cobweb protocols for verification of HTML\n frames behavior},\n booktitle = {WWW},\n year = {2002},\n pages = {182-190},\n ee = {http://doi.acm.org/10.1145/511446.511470},\n bibsource = {DBLP, http://dblp.uni-trier.de}\n}\n\n","author_short":["Stotts, P. D.","Navon, J."],"key":"DBLP:conf/www/StottsN02","id":"DBLP:conf/www/StottsN02","bibbaseid":"stotts-navon-modelcheckingcobwebprotocolsforverificationofhtmlframesbehavior-2002","role":"author","urls":{"Link":"http://doi.acm.org/10.1145/511446.511470"},"downloads":0},"bibtype":"inproceedings","biburl":"http://dl.dropbox.com/u/1791703/Prints/dccuc.bib","downloads":0,"keywords":[],"search_terms":["model","checking","cobweb","protocols","verification","html","frames","behavior","stotts","navon"],"title":"Model checking cobweb protocols for verification of HTML frames behavior","year":2002,"dataSources":["D48dwZqPJYE3CuoxQ"]}