Model checking cobweb protocols for verification of HTML frames behavior

P. David Stotts, Jaime Navon

Anthology ID:

DBLP:conf/www/StottsN02

Volume:

Proceedings of the Eleventh International World Wide Web Conference, WWW 2002, May 7-11, 2002, Honolulu, Hawaii, USA

Year:

2002

Venue:

wwwconf_conference

Publisher:

ACM

Pages:

182–190

URL:

https://doi.org/10.1145/511446.511470

DOI:

10.1145/511446.511470

DBLP:

conf/www/StottsN02

BibTeX:

Download Copy BibTeX to Clipboard Copy Bibkey "stotts-2002-model" to Clipboard

Google Scholar Internet Archive Scholar Semantic Scholar