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]
@inproceedings{KilN12, title = {Semantic Web Service Composition Using Formal Verification Techniques}, author = {Hyunyoung Kil and Wonhong Nam}, year = {2012}, doi = {10.1007/978-3-642-35603-2_10}, url = {http://dx.doi.org/10.1007/978-3-642-35603-2_10}, researchr = {https://researchr.org/publication/KilN12}, cites = {0}, citedby = {0}, pages = {72-79}, booktitle = {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}, editor = {Tai-Hoon Kim and Jianhua Ma and Wai-Chi Fang and Yanchun Zhang and Alfredo Cuzzocrea}, volume = {352}, series = {Communications in Computer and Information Science}, publisher = {Springer}, isbn = {978-3-642-35602-5}, }