id: 70349965
dt: a
an: 70349965
au: Stotts, P. David; Navon, Jaime
ti: Model checking cobweb protocols for verification of HTML frames behavior
so: WWW, 182-190 (2002).
py: 2002
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1145/511446.511470