[{"language":[{}],"publication_identifier":{"isbn":[]},"publication_status":"published","month":"05","main_file_link":[{"url":"https://ir.webis.de/anthology/2001.wwwconf_conference-2001p.57/"}],"oa_version":"None","abstract":[{"lang":"eng"}],"creator":{"login":"alisjak","id":"ea97e931-d5af-11eb-85d4-e6957dddbf17"},"extern":"1","date_updated":"2023-05-08T09:39:02Z","status":"public","type":"conference","conference":{"start_date":"2001-05-01","location":"Hong Kong, Hong Kong","end_date":"2000-05-05","name":"WWW: World Wide Web Conference"},"_id":"4635","date_published":"2001-05-01T00:00:00Z","date_created":"2018-12-11T12:09:52Z","uri_base":"https://research-explorer.ista.ac.at","page":"86 - 87","day":"01","dc":{"rights":["info:eu-repo/semantics/closedAccess"],"language":["eng"],"creator":["De Alfaro, Luca","Henzinger, Thomas A","Mang, Freddy"],"title":["MCWEB: A model-checking tool for web-site debugging"],"source":["De Alfaro L, Henzinger TA, Mang F. MCWEB: A model-checking tool for web-site debugging. In: Proceedings of the 10th International Conference on World Wide Web. ACM; 2001:86-87."],"relation":["info:eu-repo/semantics/altIdentifier/isbn/9781581133486"],"identifier":["https://research-explorer.ista.ac.at/record/4635"],"description":["We show how model checking techniques can be applied to the analysis of connectivity and cost-of-traversal properties of Web sites."],"date":["2001"],"publisher":["ACM"],"type":["info:eu-repo/semantics/conferenceObject","doc-type:conferenceObject","text","http://purl.org/coar/resource_type/c_5794"]},"publication":"Proceedings of the 10th international conference on World Wide Web","quality_controlled":"1","publist_id":"71","author":[{"last_name":"De Alfaro","first_name":"Luca"},{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger"},{"first_name":"Freddy","last_name":"Mang"}],"article_processing_charge":"No","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","dini_type":"doc-type:conferenceObject","citation":{"chicago":"De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “MCWEB: A Model-Checking Tool for Web-Site Debugging.” In Proceedings of the 10th International Conference on World Wide Web, 86–87. ACM, 2001.","ista":"De Alfaro L, Henzinger TA, Mang F. 2001. MCWEB: A model-checking tool for web-site debugging. Proceedings of the 10th international conference on World Wide Web. WWW: World Wide Web Conference, 86–87.","mla":"De Alfaro, Luca, et al. “MCWEB: A Model-Checking Tool for Web-Site Debugging.” Proceedings of the 10th International Conference on World Wide Web, ACM, 2001, pp. 86–87.","ieee":"L. De Alfaro, T. A. Henzinger, and F. Mang, “MCWEB: A model-checking tool for web-site debugging,” in Proceedings of the 10th international conference on World Wide Web, Hong Kong, Hong Kong, 2001, pp. 86–87.","short":"L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 10th International Conference on World Wide Web, ACM, 2001, pp. 86–87.","apa":"De Alfaro, L., Henzinger, T. A., & Mang, F. (2001). MCWEB: A model-checking tool for web-site debugging. In Proceedings of the 10th international conference on World Wide Web (pp. 86–87). Hong Kong, Hong Kong: ACM."}}]