Model checking cobweb protocols for verification of HTML frames behavior.

@inproceedings{stotts-2002-model, author = {P. David Stotts and Jaime Navon}, editor = {David Lassner and David De Roure and Arun Iyengar}, title = {{Model checking cobweb protocols for verification of HTML frames behavior}}, booktitle = {{Proceedings of the Eleventh International World Wide Web Conference, WWW 2002, May 7-11, 2002, Honolulu, Hawaii, USA}}, pages = {182--190}, publisher = {ACM}, year = {2002}, url = {https://doi.org/10.1145/511446.511470}, doi = {https://doi.org/10.1145/511446.511470} }