Hyunyoung Kil, Wonhong Nam. Semantic Web Service Composition Using Formal Verification Techniques. In Tai-Hoon Kim, Jianhua Ma, Wai-Chi Fang, Yanchun Zhang, Alfredo Cuzzocrea, editors, Computer Applications for Database, Education, and Ubiquitous Computing - International Conferences, EL, DTA and UNESST 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings. Volume 352 of Communications in Computer and Information Science, pages 72-79, Springer, 2012. [doi]