Skip to content

Model checking cobweb protocols for verification of HTML frames behavior.

P. David Stotts, Jaime Navon

VenueA*WWW
Year2002
ProceedingsWWW

Browse the full WWW paper archive.