Yeon-Seok Kim, Dong-Hoon Shin, Hyun-Bae Jeon, Kyong-Ho Lee, Kee-Seong Cho, Wonjoo Park. Conflict detection in composite web services based on model checking. IJWGS, 9(4):394-430, 2013. [doi]
@article{KimSJLCP13,
title = {Conflict detection in composite web services based on model checking},
author = {Yeon-Seok Kim and Dong-Hoon Shin and Hyun-Bae Jeon and Kyong-Ho Lee and Kee-Seong Cho and Wonjoo Park},
year = {2013},
doi = {10.1504/IJWGS.2013.057470},
url = {http://dx.doi.org/10.1504/IJWGS.2013.057470},
researchr = {https://researchr.org/publication/KimSJLCP13},
cites = {0},
citedby = {0},
journal = {IJWGS},
volume = {9},
number = {4},
pages = {394-430},
}