Wei-Tek Tsai, Raymond A. Paul, Zhibin Cao, Lian Yu, Akihiro Saimi, Bingnan Xiao. Verification of Web Services Using an Enhanced UDDI Server. In 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 15-17 January 2003, Guadalajara, Mexico. pages 131-138, IEEE Computer Society, 2003. [doi]
Abstract is missing.