Pontificia Universidad Católica de Chile

Home » Publicaciones » Model Checking CobWeb Protocols for Verification of HTML Frames Behavior

Stotts D. y Navon J. (2002) Model Checking CobWeb Protocols for Verification of HTML Frames Behavior ACM 11th International WWW Conference, Honolulu, May 2002 (2002)

Model Checking CobWeb Protocols for Verification of HTML Frames Behavior

Tipo de publicación : Conferencia No DCC

Model Checking CobWeb Protocols for Verification of HTML Frames Behavior

Abstract