Thomas A. Henzinger

2005

doi dblp
Web service interfaces.
Dirk Beyer|Arindam Chakrabarti|Thomas A. Henzinger
Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005

2001

dblp
MCWEB: A Model-Checking Tool for Web Site Debugging.
Luca de Alfaro|Thomas A. Henzinger|Freddy Y. C. Mang
Poster Proceedings of the Tenth International World Wide Web Conference, WWW 10, Hong Kong, China, May 1-5, 2001